Sciweavers

22 search results - page 1 / 5

» popl 2003

37

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

14 years 4 months ago

Coercive subtyping for the calculus of constructions

Download www.church-project.org

Gang Chen

claim paper

Read More »

32

POPL
2003
ACM

132views Programming Languages» more POPL 2003»

Destructors, finalizers, and synchronization

14 years 4 months ago

Destructors, finalizers, and synchronization

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

38

POPL
2003
ACM

104views Programming Languages» more POPL 2003»

Incremental algorithms for dispatching in dynamically typed languages

14 years 4 months ago

Incremental algorithms for dispatching in dynamically typed languages

Download www.zibin.net

Yoav Zibin, Joseph Gil

claim paper

Read More »

32

POPL
2003
ACM

91views Programming Languages» more POPL 2003»

The m-calculus: a higher-order distributed process calculus

14 years 4 months ago

The m-calculus: a higher-order distributed process calculus

Download www.sics.se

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

33

POPL
2003
ACM

99views Programming Languages» more POPL 2003»

Environment classifiers

14 years 4 months ago

Environment classifiers

Download www.cs.rice.edu

Walid Taha, Michael Florentin Nielsen

claim paper

Read More »

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