Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FLOPS
2001
Springer

favoriteEmaildiscussreport

79views Automated Reasoning» more FLOPS 2001»

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

13 years 9 months ago

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

Download www.brics.dk

Olivier Danvy, Morten Rhiger

Real-time Traffic

Automated Reasoning | FLOPS 2001 |

claim paper

Related Content

» Simple Types in Type Theory Deep and Shallow Encodings

» A Generalisation of Prelogical Predicates to Simply Typed Formal Systems

» PiLib A Hosted Language for PiCalculus Style Concurrency

» TypeSafe Code Transformations in Haskell

» Querying Geographical Data Warehouses With GeoMDQL

» Genetic programming with polymorphic types and higherorder functions

» Cartesian Programming The TransLucid Programming Language

» Introducing Custom Language Extensions to SQL 1999

» A Simple Semantics for Polymorphic Recursion

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	FLOPS
Authors	Olivier Danvy, Morten Rhiger

Comments (0)