equal
deleted
inserted
replaced
|
1 @InProceedings{Berghofer99, |
|
2 author = {S.~Berghofer and M.~Wenzel}, |
|
3 title = {{I}nductive {D}atatypes in {HOL} - {L}essons {L}earned in |
|
4 {F}ormal-{L}ogic {E}ngineering}, |
|
5 booktitle = {Proc.~of the 12th International Conference Theorem Proving in |
|
6 Higher Order Logics (TPHOLs)}, |
|
7 pages = {19--36}, |
|
8 year = 1999, |
|
9 number = 1690, |
|
10 series = {LNCS} |
|
11 } |
1 |
12 |
2 @InProceedings{CoreHaskell, |
13 @InProceedings{CoreHaskell, |
3 author = {M.~Sulzmann and M.~Chakravarty and S.~Peyton Jones and K.~Donnelly}, |
14 author = {M.~Sulzmann and M.~Chakravarty and S.~Peyton Jones and K.~Donnelly}, |
4 title = {{S}ystem {F} with {T}ype {E}quality {C}oercions}, |
15 title = {{S}ystem {F} with {T}ype {E}quality {C}oercions}, |
5 booktitle = {Proc of TLDI}, |
16 booktitle = {Proc of TLDI}, |