Typed transformations of typed abstract syntax

14 years 1 months ago

Download www.cs.uu.nl

Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs.uu.nl

Arthur I. Baars, S. Doaitse Swierstra, Marcos Vier

Real-time Traffic

Formal Methods | Sciences Utrecht University | Syntax Arthur Baars | TLDI 2009 |

claim paper

» TypeSafe Code Transformations in Haskell

» Verifying CPS transformations in IsabelleHOL

» Typed MSR Syntax and Examples

» Syntax for Free Representing Syntax with Binding Using Parametricity

» Generalized TypeBased Disambiguation of Meta Programs with Concrete Object Syntax

» Simple Types in Type Theory Deep and Shallow Encodings

» Functional Programming With Higherorder Abstract Syntax and Explicit Substitutions

» Finally Tagless Partially Evaluated

Post Info
More Details (n/a)

Added	17 Mar 2010
Updated	17 Mar 2010
Type	Conference
Year	2009
Where	TLDI
Authors	Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera

Comments (0)

Sciweavers

Typed transformations of typed abstract syntax

Formal Methods | Sciences Utrecht University | Syntax Arthur Baars | TLDI 2009 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers