162 search results - page 5 / 33 » Encoding Types in ML-Like Languages |
139
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
155
click to vote
TOPLAS
2002
15 years 2 months ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
105
Voted
SAIG
2000
Springer
15 years 6 months ago
2000
Springer
The phrase optimal program specialization" was de ned by Jones et al. in 1993 to capture the idea of a specializer being strong enough to remove entire layers of interpretatio...
144
click to vote
TIC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...