Sciweavers

10935 search results - page 30 / 2187

» Neural Programming Language

176

ICFP
2002
ACM

111views Programming Languages» more ICFP 2002»

Concatenate, reverse and map vanish for free

16 years 7 months ago

Concatenate, reverse and map vanish for free

Download wwwtcs.inf.tu-dresden.de

Janis Voigtländer

claim paper

Read More »

178

ICFP
2001
ACM

128views Programming Languages» more ICFP 2001»

Generic Unification via Two-Level Types and Parameterized Modules

16 years 7 months ago

Generic Unification via Two-Level Types and Parameterized Modules

Download homepage.mac.com

Tim Sheard

claim paper

Read More »

165

ICFP
2001
ACM

114views Programming Languages» more ICFP 2001»

On Regions and Linear Types

16 years 7 months ago

On Regions and Linear Types

Download www.cs.princeton.edu

David Walker, Kevin Watkins

claim paper

Read More »

152

ESOP
2010
Springer

167views Programming Languages» more ESOP 2010»

A theory of speculative computation

16 years 4 months ago

A theory of speculative computation

Download moscova.inria.fr

Gérard Boudol, Gustavo Petri

claim paper

Read More »

154

Voted

PADL
2010
Springer

138views Programming Languages» more PADL 2010»

Lazy Combinators for Executable Specifications of General Attribute Grammars

16 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 30 / 2187 Last » Next »