8 search results - page 2 / 2 » A Bidirectional Refinement Type System for LF |
POPL
2012
ACM
12 years 24 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...