127
Voted
ICFP
16 years 21 days ago
2005 ACM 
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
123
Voted
ICFP
16 years 21 days ago
2005 ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
127
click to vote
ICFP
16 years 21 days ago
2005 ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
124
Voted
ICFP
16 years 21 days ago
2005 ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
107
click to vote
ICFP
16 years 21 days ago
2005 ACM 
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
|
Programming Languages