equal
deleted
inserted
replaced
|
1 |
|
2 @InProceedings{cheney05a, |
|
3 author = {J.~Cheney}, |
|
4 title = {{S}crap your {N}ameplate ({F}unctional {P}earl)}, |
|
5 booktitle = {Proc.~of the 10th ICFP Conference}, |
|
6 pages = {180--191}, |
|
7 year = {2005} |
|
8 } |
|
9 |
1 @Inproceedings{Altenkirch10, |
10 @Inproceedings{Altenkirch10, |
2 author = {T.~Altenkirch and N.~A.~Danielsson and A.~L\"oh and N.~Oury}, |
11 author = {T.~Altenkirch and N.~A.~Danielsson and A.~L\"oh and N.~Oury}, |
3 title = {{PiSigma}: {D}ependent {T}ypes {W}ithout the {S}ugar}, |
12 title = {{PiSigma}: {D}ependent {T}ypes {W}ithout the {S}ugar}, |
4 booktitle = "Proc.~of the 10th FLOPS Conference", |
13 booktitle = "Proc.~of the 10th FLOPS Conference", |
5 year = 2010, |
14 year = 2010, |