equal
deleted
inserted
replaced
|
1 |
|
2 |
|
3 @PhdThesis{Krauss09, |
|
4 author = {A.~Krauss}, |
|
5 title = {{A}utomating {R}ecursive {D}efinitions and {T}ermination {P}roofs in |
|
6 {H}igher-Order {L}ogic}, |
|
7 school = {TU Munich}, |
|
8 year = {2009} |
|
9 } |
|
10 |
1 @InProceedings{WeirichYorgeySheard11, |
11 @InProceedings{WeirichYorgeySheard11, |
2 author = {S.~Weirich and B.~Yorgey and T.~Sheard}, |
12 author = {S.~Weirich and B.~Yorgey and T.~Sheard}, |
3 title = {{B}inders {U}nbound}, |
13 title = {{B}inders {U}nbound}, |
4 booktitle = {Proc.~of the 16th International Conference on Functional Programming (ICFP)}, |
14 booktitle = {Proc.~of the 16th International Conference on Functional Programming (ICFP)}, |
5 year = {2011} |
15 year = {2011} |