Sciweavers

10585 search results - page 73 / 2117

» The Orc Programming Language

106

Voted

ICFP
1998
ACM

77views Programming Languages» more ICFP 1998»

The Marriage of Effects and Monads

15 years 7 months ago

The Marriage of Effects and Monads

Download www.cs.tufts.edu

Philip Wadler

claim paper

Read More »

111

PLDI
1998
ACM

109views Programming Languages» more PLDI 1998»

The Design and Implementation of a Certifying Compiler

15 years 7 months ago

The Design and Implementation of a Certifying Compiler

Download www.eecs.berkeley.edu

George C. Necula, Peter Lee

claim paper

Read More »

120

Voted

POPL
1998
ACM

145views Programming Languages» more POPL 1998»

Array SSA Form and Its Use in Parallelization

15 years 7 months ago

Array SSA Form and Its Use in Parallelization

Download www.cs.purdue.edu

Kathleen Knobe, Vivek Sarkar

claim paper

Read More »

129

Voted

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

15 years 7 months ago

From Polyvariant Flow Information to Intersection and Union Types

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

106

Voted

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

15 years 7 months ago

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

Download basics.sjtu.edu.cn

Zhoujun Li, Huowang Chen

claim paper

Read More »

« Prev « First page 73 / 2117 Last » Next »