Search Sciweavers | Sciweavers

"These are the lecture notes accompanying the course Introduction to Functional Programming, which I taught at Cambridge University in the academic year 1996/1997."

John Harrison

posted by scimaster

Read More »

click to vote

CADE
1997
Springer

160views Logical Reasoning» more CADE 1997»

Connection-Based Proof Construction in Linear Logic

15 years 1 months ago

Download www.cs.cornell.edu

We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...

Christoph Kreitz, Heiko Mantel, Jens Otten, Stepha...

claim paper

Read More »

click to vote

ICFP
2002
ACM

99views Programming Languages» more ICFP 2002»

Tagless staged interpreters for typed languages

15 years 9 months ago

Download www.cs.rice.edu

Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...

Emir Pasalic, Walid Taha, Tim Sheard

claim paper

Read More »

click to vote

APLAS
2004
ACM

103views Programming Languages» more APLAS 2004»

D-Fusion: A Distinctive Fusion Calculus

15 years 3 months ago

Download www.it.uu.se

Abstract. Fusion calculus is commonly regarded as a generalisation of pi. Actually, we prove that there is no uniform fully abstract embedding

Michele Boreale, Maria Grazia Buscemi, Ugo Montana...

claim paper