Search Sciweavers | Sciweavers

5377 search results - page 7 / 1076

» Programming Languages For Interactive Computing

Voted

ESOP
2010
Springer

167views Programming Languages» more ESOP 2010»

A theory of speculative computation

16 years 29 days ago

Download moscova.inria.fr

Gérard Boudol, Gustavo Petri

claim paper

Read More »

227

click to vote

ICFP
2009
ACM

108views Programming Languages» more ICFP 2009»

A universe of binding and computation

16 years 4 months ago

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

claim paper

Read More »

Voted

ESOP
2007
Springer

116views Programming Languages» more ESOP 2007»

A Consistent Semantics of Self-adjusting Computation

15 years 9 months ago

Download reports-archive.adm.cs.cmu.edu

Umut A. Acar, Matthias Blume, Jacob Donham

claim paper

Read More »

111

Voted

SIGADA
1998
Springer

97views Programming Languages» more SIGADA 1998»

A Comparison of Ada and Pascal in an Introductory Computer Science Course

15 years 7 months ago

Download www.sigada.org

Jeanne L. Murtagh, John A. Hamilton Jr.

claim paper

Read More »

Voted

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers