Sciweavers

31686 search results - page 129 / 6338

» Resource typing in Guru

31

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

14 years 6 months ago

Decision Procedures for Algebraic Data Types with Abstractions

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

70

POPL
2003
ACM

104views Programming Languages» more POPL 2003»

Incremental algorithms for dispatching in dynamically typed languages

14 years 9 months ago

Incremental algorithms for dispatching in dynamically typed languages

Download www.zibin.net

Yoav Zibin, Joseph Gil

claim paper

Read More »

74

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 9 months ago

Analyzing security protocols with secrecy types and logic programs

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

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 »

23

ICFP
2001
ACM

114views Programming Languages» more ICFP 2001»

On Regions and Linear Types

14 years 9 months ago

On Regions and Linear Types

Download www.cs.princeton.edu

David Walker, Kevin Watkins

claim paper

Read More »

« Prev « First page 129 / 6338 Last » Next »