68 search results - page 11 / 14 » Strong Normalization with Singleton Types |
GRAPHICSINTERFACE
2009
13 years 5 months ago
2009
Labradorescence is a complex optical phenomenon that can be found in certain minerals, such as Labradorite or Spectrolite. Because of their unique colour properties, these mineral...
ISW
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this work we utilize a physically unclonable function (PUF) to improve resilience of authentication protocols to various types of compromise. As an example application...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
With the recent technological feasibility of electronic commerce over the Internet, much attention has been given to the design of electronic markets for various types of electron...
POPL
1994
ACM
13 years 11 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...