Search Sciweavers | Sciweavers

877 search results - page 2 / 176

» Full Abstraction for HOPLA

click to vote

TACS
1994
Springer

103views Software Engineering» more TACS 1994»

Full Abstraction for PCF

13 years 9 months ago

Download www.comlab.ox.ac.uk

traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...

Samson Abramsky, Pasquale Malacaria, Radha Jagadee...

claim paper

Read More »

click to vote

LICS
1997
IEEE

77views Automated Reasoning» more LICS 1997»

Full Abstraction for Functional Languages with Control

13 years 10 months ago

Download www.cs.bath.ac.uk

traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...

James Laird

claim paper

Read More »

click to vote

MFCS
1994
Springer

86views Theoretical Computer Science» more MFCS 1994»

Full Abstraction for the Second Order Subset of an Algol-Like Language

13 years 9 months ago

Download scidok.sulb.uni-saarland.de

Kurt Sieber

claim paper

Read More »