35 search results - page 2 / 7 » icfp 2008 |
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
This paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-tim...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...