1982 search results - page 94 / 397 » Parametricity and dependent types |
145
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
178
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
129
click to vote
FUIN
2006
15 years 4 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
135
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
142
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...