Sciweavers

20 search results - page 1 / 4

» icfp 2001

8

ICFP
2001
ACM

91views Programming Languages» more ICFP 2001»

Cost Recurrences for DML Programs

14 years 4 months ago

Cost Recurrences for DML Programs

Download www.brics.dk

Bernd Grobauer

claim paper

Read More »

10

ICFP
2001
ACM

114views Programming Languages» more ICFP 2001»

On Regions and Linear Types

14 years 4 months ago

On Regions and Linear Types

Download www.cs.princeton.edu

David Walker, Kevin Watkins

claim paper

Read More »

13

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

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

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

12

ICFP
2001
ACM

128views Programming Languages» more ICFP 2001»

Generic Unification via Two-Level Types and Parameterized Modules

14 years 4 months ago

Generic Unification via Two-Level Types and Parameterized Modules

Download homepage.mac.com

Tim Sheard

claim paper

Read More »

7

ICFP
2001
ACM

107views Programming Languages» more ICFP 2001»

Type-Based Hot Swapping of Running Modules

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