1 @InProceedings{Berghofer99, |
1 @InProceedings{Berghofer99, |
2 author = {S.~Berghofer and M.~Wenzel}, |
2 author = {S.~Berghofer and M.~Wenzel}, |
3 title = {{I}nductive {D}atatypes in {HOL} - {L}essons {L}earned in |
3 title = {{I}nductive {D}atatypes in {HOL} - {L}essons {L}earned in |
4 {F}ormal-{L}ogic {E}ngineering}, |
4 {F}ormal-{L}ogic {E}ngineering}, |
5 booktitle = {Proc.~of the 12th International Conference Theorem Proving in |
5 booktitle = {Proc.~of the 12th TPHOLs conference}, |
6 Higher Order Logics (TPHOLs)}, |
|
7 pages = {19--36}, |
6 pages = {19--36}, |
8 year = 1999, |
7 year = 1999, |
9 number = 1690, |
8 volume = 1690, |
10 series = {LNCS} |
9 series = {LNCS} |
11 } |
10 } |
12 |
11 |
13 @InProceedings{CoreHaskell, |
12 @InProceedings{CoreHaskell, |
14 author = {M.~Sulzmann and M.~Chakravarty and S.~Peyton Jones and K.~Donnelly}, |
13 author = {M.~Sulzmann and M.~Chakravarty and S.~Peyton Jones and K.~Donnelly}, |
15 title = {{S}ystem {F} with {T}ype {E}quality {C}oercions}, |
14 title = {{S}ystem {F} with {T}ype {E}quality {C}oercions}, |
16 booktitle = {Proc of TLDI}, |
15 booktitle = {Proc of the TLDI Workshop}, |
17 pages = {??}, |
16 pages = {53-66}, |
18 year = {2007} |
17 year = {2007} |
19 } |
18 } |
20 |
19 |
21 @inproceedings{cheney05, |
20 @inproceedings{cheney05, |
22 author = {J.~Cheney}, |
21 author = {J.~Cheney}, |
81 } |
80 } |
82 |
81 |
83 @Unpublished{HuffmanUrban10, |
82 @Unpublished{HuffmanUrban10, |
84 author = {B.~Huffman and C.~Urban}, |
83 author = {B.~Huffman and C.~Urban}, |
85 title = {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle}, |
84 title = {{P}roof {P}earl: {A} {N}ew {F}oundation for {N}ominal {I}sabelle}, |
86 note = {To appear at {\it ITP'10 Conference}}, |
85 note = {To appear at {\it ITP'10 Conference}, |
87 annote = {http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf}, |
86 http://www4.in.tum.de/\~{}urbanc/Publications/nominal-atoms.pdf}, |
88 year = {2010} |
87 year = {2010} |
89 } |
88 } |
90 |
89 |
91 @PhdThesis{Leroy92, |
90 @PhdThesis{Leroy92, |
92 author = {X.~Leroy}, |
91 author = {X.~Leroy}, |