Sciweavers

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

92

Voted

ICFP
2003
ACM

favoriteEmaildiscussreport

93views Programming Languages» more ICFP 2003»

Explicit substitutions and higher-order syntax

16 years 3 days ago

Explicit substitutions and higher-order syntax

Download www.cs.ioc.ee

Neil Ghani, Tarmo Uustalu

Real-time Traffic

Explicit Substitutions | ICFP 2003 | Programming Languages |

claim paper

Related Content

» Practical Programming with HigherOrder Encodings and Dependent Types

» Comparing Calculi of Explicit Substitutions with Etareduction

» Functional Programming With Higherorder Abstract Syntax and Explicit Substitutions

» Automatic Detection of Uninitialized Variables

» A computational approach to reflective metareasoning about languages with bindings

» When Ambients Cannot Be Opened

» Oneandahalfthorder Logic

» FreeStyle Theorem Proving

» The duality of computation

Post Info
More Details (n/a)

Added	13 Dec 2009
Updated	13 Dec 2009
Type	Conference
Year	2003
Where	ICFP
Authors	Neil Ghani, Tarmo Uustalu

Comments (0)