Sciweavers

20 search results - page 1 / 4

» icfp 2001

27

ICFP
2001
ACM

91views Programming Languages» more ICFP 2001»

Cost Recurrences for DML Programs

14 years 10 months ago

Cost Recurrences for DML Programs

Download www.brics.dk

Bernd Grobauer

claim paper

Read More »

29

ICFP
2001
ACM

114views Programming Languages» more ICFP 2001»

On Regions and Linear Types

14 years 10 months ago

On Regions and Linear Types

Download www.cs.princeton.edu

David Walker, Kevin Watkins

claim paper

Read More »

26

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

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

14 years 10 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 »

27

ICFP
2001
ACM

128views Programming Languages» more ICFP 2001»

Generic Unification via Two-Level Types and Parameterized Modules

14 years 10 months ago

Generic Unification via Two-Level Types and Parameterized Modules

Download homepage.mac.com

Tim Sheard

claim paper

Read More »

26

ICFP
2001
ACM

107views Programming Languages» more ICFP 2001»

Type-Based Hot Swapping of Running Modules

14 years 10 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 »