Sciweavers

10622 search results - page 145 / 2125

» Python Programming Language

282

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

16 years 7 months ago

Systematic design of program transformation frameworks by abstract interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

160

Voted

ICFP
2008
ACM

124views Programming Languages» more ICFP 2008»

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

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

167

ICFP
2006
ACM

124views Programming Languages» more ICFP 2006»

Stabilizers: a modular checkpointing abstraction for concurrent functional programs

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

158

Voted

ESOP
2010
Springer

148views Programming Languages» more ESOP 2010»

Functional Programming in Sublinear Space

16 years 4 months ago

Functional Programming in Sublinear Space

Download www2.tcs.ifi.lmu.de

Ugo Dal Lago, Ulrich Schöpp

claim paper

Read More »

255

DLS
2009

186views Languages» more DLS 2009»

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

15 years 5 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 145 / 2125 Last » Next »