Sciweavers

10585 search results - page 34 / 2117

» The Orc Programming Language

68

POPL
2002
ACM

102views Programming Languages» more POPL 2002»

The strength of non-size increasing computation

14 years 9 months ago

The strength of non-size increasing computation

Download www2.tcs.ifi.lmu.de

Martin Hofmann

claim paper

Read More »

68

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

14 years 9 months ago

Stratified operational semantics for safety and correctness of the region calculus

Download www.doc.ic.ac.uk

Cristiano Calcagno

claim paper

Read More »

70

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

14 years 9 months ago

Modules, abstract types, and distributed versioning

Download www.cl.cam.ac.uk

Peter Sewell

claim paper

Read More »

24

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

14 years 8 months ago

Parametric higher-order abstract syntax for mechanized semantics

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

16

ICFP
2008
ACM

116views Programming Languages» more ICFP 2008»

Deciding kCFA is complete for EXPTIME

14 years 8 months ago

Deciding kCFA is complete for EXPTIME

Download www.ccs.neu.edu

David Van Horn, Harry G. Mairson

claim paper

Read More »

« Prev « First page 34 / 2117 Last » Next »