POPL 2008 | Sciweavers

40

POPL
2008
ACM

176views Programming Languages» more POPL 2008»

Boomerang: resourceful lenses for string data

14 years 4 months ago

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...

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pier...

claim paper

Read More »

37

click to vote

POPL
2008
ACM

124views Programming Languages» more POPL 2008»

Engineering formal metatheory

14 years 4 months ago

Download www.cis.upenn.edu

Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...

Arthur Charguéraud, Benjamin C. Pierce, Bri...

claim paper

Read More »

35

click to vote

POPL
2008
ACM

92views Programming Languages» more POPL 2008»

Focusing and higher-order abstract syntax

14 years 4 months ago

Download www.cs.cmu.edu

Noam Zeilberger

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers