686 search results - page 1 / 138 » Foundations for Bidirectional Programming |
54
Voted
ICMT
2009
Springer
15 years 5 months ago
2009
Springer
107
click to vote
TLDI
2005
ACM
15 years 4 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
15 years 4 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 ...
86
Voted
ESOP
2006
Springer
15 years 2 months ago
2006
Springer
ECOOP
2003
Springer
15 years 4 months ago
2003
Springer
