Sciweavers

10935 search results - page 27 / 2187

» Neural Programming Language

147

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

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

143

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

15 years 10 months ago

Modules, abstract types, and distributed versioning

Download www.cl.cam.ac.uk

Peter Sewell

claim paper

Read More »

60

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

15 years 10 months ago

Parametric higher-order abstract syntax for mechanized semantics

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

49

Voted

ICFP
2008
ACM

116views Programming Languages» more ICFP 2008»

Deciding kCFA is complete for EXPTIME

15 years 10 months ago

Deciding kCFA is complete for EXPTIME

Download www.ccs.neu.edu

David Van Horn, Harry G. Mairson

claim paper

Read More »

67

ICFP
2007
ACM

149views Programming Languages» more ICFP 2007»

Compiling with continuations, continued

15 years 10 months ago

Compiling with continuations, continued

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

« Prev « First page 27 / 2187 Last » Next »