Sciweavers

10666 search results - page 93 / 2134

» Quantum programming languages

28

HOPL
1993

112views Programming Languages» more HOPL 1993»

A History of CLU

14 years 1 months ago

A History of CLU

Download publications.csail.mit.edu

Barbara Liskov

claim paper

Read More »

20

HOPL
1993

88views Programming Languages» more HOPL 1993»

Recollections about the Development of Pascal

14 years 1 months ago

Recollections about the Development of Pascal

Download ropas.snu.ac.kr

Niklaus Wirth

claim paper

Read More »

24

ESOP
1994
Springer

87views Programming Languages» more ESOP 1994»

Polymorphic Binding-Time Analysis

14 years 1 months ago

Polymorphic Binding-Time Analysis

Download repository.readscheme.org

Fritz Henglein, Christian Mossin

claim paper

Read More »

27

ICALP
1993
Springer

86views Programming Languages» more ICALP 1993»

The Fork Calculus

14 years 1 months ago

The Fork Calculus

Download www.cs.helsinki.fi

Klaus Havelund, Kim Guldstrand Larsen

claim paper

Read More »

23

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

14 years 1 months ago

Local Model Checking for Context-Free Processes

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

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