Sciweavers

11909 search results - page 54 / 2382

» The Scheme Programming Language

30

ICFP
2002
ACM

111views Programming Languages» more ICFP 2002»

Concatenate, reverse and map vanish for free

14 years 10 months ago

Concatenate, reverse and map vanish for free

Download wwwtcs.inf.tu-dresden.de

Janis Voigtländer

claim paper

Read More »

24

ICFP
2001
ACM

128views Programming Languages» more ICFP 2001»

Generic Unification via Two-Level Types and Parameterized Modules

14 years 10 months ago

Generic Unification via Two-Level Types and Parameterized Modules

Download homepage.mac.com

Tim Sheard

claim paper

Read More »

25

ICFP
2001
ACM

114views Programming Languages» more ICFP 2001»

On Regions and Linear Types

14 years 10 months ago

On Regions and Linear Types

Download www.cs.princeton.edu

David Walker, Kevin Watkins

claim paper

Read More »

24

ESOP
2010
Springer

167views Programming Languages» more ESOP 2010»

A theory of speculative computation

14 years 7 months ago

A theory of speculative computation

Download moscova.inria.fr

Gérard Boudol, Gustavo Petri

claim paper

Read More »

29

PADL
2010
Springer

138views Programming Languages» more PADL 2010»

Lazy Combinators for Executable Specifications of General Attribute Grammars

14 years 6 months ago

Lazy Combinators for Executable Specifications of General Attribute Grammars

Download cs.uwindsor.ca

Rahmatullah Hafiz, Richard A. Frost

claim paper

Read More »

« Prev « First page 54 / 2382 Last » Next »