1982 search results - page 104 / 397 » Parametricity and dependent types |
131
click to vote
ICFP
2008
ACM
16 years 4 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...
175
click to vote
FP
1991
15 years 8 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
150
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
We will describe a visual development system for exploring face space, both in terms of facial types and animated expressions. Imagine an n-dimensional space describing every huma...
139
click to vote
ENTCS
2010
15 years 4 months ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...
129
click to vote
LREC
2010
15 years 6 months ago
2010
In this paper describes the effects of the evolution of an Italian dependency grammar on a task of multilingual FrameNet acquisition. The task is based on the creation of virtual ...