equal
deleted
inserted
replaced
1 @TechReport{Gordon:1985:HOL, |
|
2 author = {M. J. C. Gordon}, |
|
3 title = {{HOL}: A machine oriented formulation of higher order logic}, |
|
4 institution = {University of Cambridge Computer Laboratory}, |
|
5 year = 1985, |
|
6 number = 68 |
|
7 } |
|
8 |
|
9 @inproceedings{HuttonW04,author={Graham Hutton and Joel Wright}, |
1 @inproceedings{HuttonW04,author={Graham Hutton and Joel Wright}, |
10 title={Compiling Exceptions Correctly}, |
2 title={Compiling Exceptions Correctly}, |
11 booktitle={Proc.\ Conf.\ Mathematics of Program Construction}, |
3 booktitle={Proc.\ Conf.\ Mathematics of Program Construction}, |
12 year=2004,note={To appear}} |
4 year=2004,note={To appear}} |
13 |
5 |