Type Fusion
Ralf Hinze
Affiliation
University of Oxford‚ Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford OX1 3QD‚ England
Book Title
Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)
Editor
Pavlovic‚ Dusko and Johnson‚ Michael
Location
Manoir St−Castin‚ Québec‚ Canada
Note
to appear
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
6486
Year
2010