856 search results - page 1 / 172 » Dependent Types in Practical Programming |
JFP
2007
13 years 6 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
POPL
1999
ACM
13 years 10 months ago
1999
ACM
AFP
2004
Springer
13 years 11 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
ESOP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
FUIN
2010
13 years 3 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...