Sciweavers

10666 search results - page 86 / 2134

» Quantum programming languages

24

PLDI
1997
ACM

110views Programming Languages» more PLDI 1997»

Simple Translation of Goal-Directed Evaluation

14 years 1 months ago

Simple Translation of Goal-Directed Evaluation

Download www.cs.arizona.edu

Todd A. Proebsting

claim paper

Read More »

23

POPL
1997
ACM

104views Programming Languages» more POPL 1997»

Types as Abstract Interpretations

14 years 1 months ago

Types as Abstract Interpretations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

22

POPL
1997
ACM

100views Programming Languages» more POPL 1997»

Relational Parametricity and Units of Measure

14 years 1 months ago

Relational Parametricity and Units of Measure

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

22

POPL
1997
ACM

102views Programming Languages» more POPL 1997»

Is "Just in Time" = "Better Late than Never"?

14 years 1 months ago

Is "Just in Time" = "Better Late than Never"?

Download www.safexpress.com

Michael P. Plezbert, Ron Cytron

claim paper

Read More »

24

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

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

14 years 1 months ago

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

Download www.lix.polytechnique.fr

Olivier Bournez

claim paper

Read More »

« Prev « First page 86 / 2134 Last » Next »