Sciweavers

10666 search results - page 42 / 2134

» Quantum programming languages

21

ICFP
2002
ACM

111views Programming Languages» more ICFP 2002»

Concatenate, reverse and map vanish for free

14 years 7 months ago

Concatenate, reverse and map vanish for free

Download wwwtcs.inf.tu-dresden.de

Janis Voigtländer

claim paper

Read More »

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 »

« Prev « First page 42 / 2134 Last » Next »