678 search results - page 2 / 136 » Dependent Types for Program Understanding |
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
REX
1990
13 years 10 months ago
1990
Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...
POPL
1999
ACM
13 years 10 months ago
1999
ACM
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...