Sciweavers

10666 search results - page 42 / 2134

» Quantum programming languages

153

ICFP
2002
ACM

111views Programming Languages» more ICFP 2002»

Concatenate, reverse and map vanish for free

16 years 6 months ago

Concatenate, reverse and map vanish for free

Download wwwtcs.inf.tu-dresden.de

Janis Voigtländer

claim paper

Read More »

150

ICFP
2001
ACM

128views Programming Languages» more ICFP 2001»

Generic Unification via Two-Level Types and Parameterized Modules

16 years 6 months ago

Generic Unification via Two-Level Types and Parameterized Modules

Download homepage.mac.com

Tim Sheard

claim paper

Read More »

137

ICFP
2001
ACM

114views Programming Languages» more ICFP 2001»

On Regions and Linear Types

16 years 6 months ago

On Regions and Linear Types

Download www.cs.princeton.edu

David Walker, Kevin Watkins

claim paper

Read More »

129

ESOP
2010
Springer

167views Programming Languages» more ESOP 2010»

A theory of speculative computation

16 years 3 months ago

A theory of speculative computation

Download moscova.inria.fr

Gérard Boudol, Gustavo Petri

claim paper

Read More »

131

Voted

PADL
2010
Springer

138views Programming Languages» more PADL 2010»

Lazy Combinators for Executable Specifications of General Attribute Grammars

16 years 3 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 »