Search Sciweavers | Sciweavers

5377 search results - page 7 / 1076

» Programming Languages For Interactive Computing

click to vote

ESOP
2010
Springer

167views Programming Languages» more ESOP 2010»

A theory of speculative computation

14 years 5 months ago

Download moscova.inria.fr

Gérard Boudol, Gustavo Petri

claim paper

Read More »

click to vote

ICFP
2009
ACM

108views Programming Languages» more ICFP 2009»

A universe of binding and computation

14 years 8 months ago

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

claim paper

Read More »

click to vote

ESOP
2007
Springer

116views Programming Languages» more ESOP 2007»

A Consistent Semantics of Self-adjusting Computation

14 years 1 months ago

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

Umut A. Acar, Matthias Blume, Jacob Donham

claim paper

Read More »

click to vote

SIGADA
1998
Springer

97views Programming Languages» more SIGADA 1998»

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

13 years 12 months ago

Download www.sigada.org

Jeanne L. Murtagh, John A. Hamilton Jr.

claim paper

Read More »

click to vote

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

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

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers