Sciweavers

46

PHOENIX
1991

136views Programming Languages» more PHOENIX 1991»

More Advice on Proving a Compiler Correct: Improve a Correct Compiler

14 years 3 months ago

More Advice on Proving a Compiler Correct: Improve a Correct Compiler

Download www.willamette.edu

Erik Meijer

claim paper

Read More »

28

PHOENIX
1991

118views Programming Languages» more PHOENIX 1991»

Type Classes are Signatures of Abstract Types

14 years 3 months ago

Type Classes are Signatures of Abstract Types

Download webpages.cs.luc.edu

Konstantin Läufer, Martin Odersky

claim paper

Read More »