Sciweavers

10871 search results - page 40 / 2175

» A stable programming language

61

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

14 years 8 months ago

Modules, abstract types, and distributed versioning

Download www.cl.cam.ac.uk

Peter Sewell

claim paper

Read More »

22

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

14 years 7 months ago

Parametric higher-order abstract syntax for mechanized semantics

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

15

ICFP
2008
ACM

116views Programming Languages» more ICFP 2008»

Deciding kCFA is complete for EXPTIME

14 years 7 months ago

Deciding kCFA is complete for EXPTIME

Download www.ccs.neu.edu

David Van Horn, Harry G. Mairson

claim paper

Read More »

25

ICFP
2007
ACM

149views Programming Languages» more ICFP 2007»

Compiling with continuations, continued

14 years 7 months ago

Compiling with continuations, continued

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

19

ICFP
2007
ACM

91views Programming Languages» more ICFP 2007»

Subtyping and intersection types revisited

14 years 7 months ago

Subtyping and intersection types revisited

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

« Prev « First page 40 / 2175 Last » Next »