Sciweavers

10871 search results - page 43 / 2175

» A stable programming language

22

ICFP
2001
ACM

128views Programming Languages» more ICFP 2001»

Generic Unification via Two-Level Types and Parameterized Modules

14 years 7 months ago

Generic Unification via Two-Level Types and Parameterized Modules

Download homepage.mac.com

Tim Sheard

claim paper

Read More »

20

ICFP
2001
ACM

114views Programming Languages» more ICFP 2001»

On Regions and Linear Types

14 years 7 months ago

On Regions and Linear Types

Download www.cs.princeton.edu

David Walker, Kevin Watkins

claim paper

Read More »

22

ESOP
2010
Springer

167views Programming Languages» more ESOP 2010»

A theory of speculative computation

14 years 5 months ago

A theory of speculative computation

Download moscova.inria.fr

Gérard Boudol, Gustavo Petri

claim paper

Read More »

20

PADL
2010
Springer

138views Programming Languages» more PADL 2010»

Lazy Combinators for Executable Specifications of General Attribute Grammars

14 years 4 months ago

Lazy Combinators for Executable Specifications of General Attribute Grammars

Download cs.uwindsor.ca

Rahmatullah Hafiz, Richard A. Frost

claim paper

Read More »

25

PADL
2010
Springer

158views Programming Languages» more PADL 2010»

An Introduction to Maude and Some of Its Applications

14 years 4 months ago

An Introduction to Maude and Some of Its Applications

Download maude.cs.uiuc.edu

Narciso Martí-Oliet

claim paper

Read More »

« Prev « First page 43 / 2175 Last » Next »