Sciweavers

20 search results - page 1 / 4

» icfp 2001

87

Voted

ICFP
2001
ACM

91views Programming Languages» more ICFP 2001»

Cost Recurrences for DML Programs

16 years 3 months ago

Cost Recurrences for DML Programs

Download www.brics.dk

Bernd Grobauer

claim paper

Read More »

105

Voted

ICFP
2001
ACM

114views Programming Languages» more ICFP 2001»

On Regions and Linear Types

16 years 3 months ago

On Regions and Linear Types

Download www.cs.princeton.edu

David Walker, Kevin Watkins

claim paper

Read More »

108

Voted

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

16 years 3 months ago

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

117

Voted

ICFP
2001
ACM

128views Programming Languages» more ICFP 2001»

Generic Unification via Two-Level Types and Parameterized Modules

16 years 3 months ago

Generic Unification via Two-Level Types and Parameterized Modules

Download homepage.mac.com

Tim Sheard

claim paper

Read More »

86

Voted

ICFP
2001
ACM

107views Programming Languages» more ICFP 2001»

Type-Based Hot Swapping of Running Modules

16 years 3 months ago

Type-Based Hot Swapping of Running Modules

Download www.cs.cmu.edu

Dominic Duggan

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »