Sciweavers

10585 search results - page 139 / 2117

» The Orc Programming Language

197

Voted

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

16 years 3 months ago

Systematic design of program transformation frameworks by abstract interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

103

ICFP
2008
ACM

124views Programming Languages» more ICFP 2008»

Bialgebra views: a way for polytypic programming to cohabit with data abstraction

16 years 3 months ago

Bialgebra views: a way for polytypic programming to cohabit with data abstraction

Download babel.ls.fi.upm.es

Juan José Moreno-Navarro, Pablo Nogueira

claim paper

Read More »

100

Voted

ICFP
2006
ACM

124views Programming Languages» more ICFP 2006»

Stabilizers: a modular checkpointing abstraction for concurrent functional programs

16 years 3 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 »

96

ESOP
2010
Springer

148views Programming Languages» more ESOP 2010»

Functional Programming in Sublinear Space

16 years 21 days ago

Functional Programming in Sublinear Space

Download www2.tcs.ifi.lmu.de

Ugo Dal Lago, Ulrich Schöpp

claim paper

Read More »

166

DLS
2009

186views Languages» more DLS 2009»

Of scripts and programs: tall tales, urban legends, and future prospects

15 years 1 months ago

Of scripts and programs: tall tales, urban legends, and future prospects

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

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