640 search results - page 13 / 128 » Logical types for untyped languages |
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
ASIAN
2004
Springer
14 years 1 months ago
2004
Springer
ERLANG
2007
ACM
13 years 11 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...