686 search results - page 1 / 138 » Foundations for Bidirectional Programming |
ICMT
2009
Springer
13 years 11 months ago
2009
Springer
TLDI
2005
ACM
13 years 10 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
HASKELL
2005
ACM
13 years 10 months ago
2005
ACM
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
ESOP
2006
Springer
13 years 8 months ago
2006
Springer
ECOOP
2003
Springer
13 years 10 months ago
2003
Springer
