equal
deleted
inserted
replaced
|
1 @InProceedings{ UrbanBerghofer06, |
|
2 author = "C. Urban and S. Berghofer", |
|
3 title = "{A} {R}ecursion {C}ombinator for {N}ominal {D}atatypes {I}mplemented in {I}sabelle/{HOL}", |
|
4 booktitle = "Proc.~of the 3rd IJCAR Conference", |
|
5 year = 2006, |
|
6 series = "LNAI", |
|
7 volume = 4130, |
|
8 pages = "498--512" |
|
9 } |
|
10 |
1 @InProceedings{LeeCraryHarper07, |
11 @InProceedings{LeeCraryHarper07, |
2 author = {D.~K.~Lee and K.~Crary and R.~Harper}, |
12 author = {D.~K.~Lee and K.~Crary and R.~Harper}, |
3 title = {{T}owards a {M}echanized {M}etatheory of {Standard ML}}, |
13 title = {{T}owards a {M}echanized {M}etatheory of {Standard ML}}, |
4 booktitle = {Proc.~of the 34th POPL Symposium}, |
14 booktitle = {Proc.~of the 34th POPL Symposium}, |
5 year = 2007, |
15 year = 2007, |