Sciweavers

22 search results - page 1 / 5

» popl 2003

78

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

14 years 10 months ago

Coercive subtyping for the calculus of constructions

Download www.church-project.org

Gang Chen

claim paper

Read More »

61

POPL
2003
ACM

132views Programming Languages» more POPL 2003»

Destructors, finalizers, and synchronization

14 years 10 months ago

Destructors, finalizers, and synchronization

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

70

POPL
2003
ACM

104views Programming Languages» more POPL 2003»

Incremental algorithms for dispatching in dynamically typed languages

14 years 10 months ago

Incremental algorithms for dispatching in dynamically typed languages

Download www.zibin.net

Yoav Zibin, Joseph Gil

claim paper

Read More »

69

POPL
2003
ACM

91views Programming Languages» more POPL 2003»

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

14 years 10 months ago

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

Download www.sics.se

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

65

POPL
2003
ACM

99views Programming Languages» more POPL 2003»

Environment classifiers

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