138
click to vote
ICFP
16 years 2 months 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...
132
click to vote
ICFP
16 years 2 months 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...
141
click to vote
ICFP
16 years 2 months 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...
133
click to vote
ICFP
16 years 2 months 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...
123
click to vote
ICFP
16 years 2 months 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