Sciweavers

33 search results - page 1 / 7

» icfp 2006

8

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Abstraction preservation and subtyping in distributed languages

14 years 4 months ago

Abstraction preservation and subtyping in distributed languages

Download pauillac.inria.fr

James J. Leifer, Pierre-Malo Deniélou

claim paper

Read More »

13

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Generating generic functions

14 years 4 months ago

Generating generic functions

Download www.cs.uu.nl

Johan Jeuring, Alexey Rodriguez, Gideon Smeding

claim paper

Read More »

9

ICFP
2006
ACM

92views Programming Languages» more ICFP 2006»

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection

13 years 10 months ago

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection

Download main.metaprl.org

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylo...

claim paper

Read More »

10

ICFP
2006
ACM

124views Programming Languages» more ICFP 2006»

Stabilizers: a modular checkpointing abstraction for concurrent functional programs

14 years 4 months ago

Stabilizers: a modular checkpointing abstraction for concurrent functional programs

Download www.cs.purdue.edu

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

claim paper

Read More »

12

ICFP
2006
ACM

175views Programming Languages» more ICFP 2006»

Access control in a core calculus of dependency

14 years 4 months ago

Access control in a core calculus of dependency

Download users.soe.ucsc.edu

The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...

Martín Abadi

claim paper

Read More »

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