equal
deleted
inserted
replaced
|
1 @InProceedings{WeirichYorgeySheard11, |
|
2 author = {S.~Weirich and B.~Yorgey and T.~Sheard}, |
|
3 title = {{B}inders {U}nbound}, |
|
4 booktitle = {Proc.~of the 16th International Conference on Functional Programming (ICFP)}, |
|
5 year = {2011} |
|
6 } |
|
7 |
1 @InProceedings{UrbanKaliszyk11, |
8 @InProceedings{UrbanKaliszyk11, |
2 author = {C.~Urban and C.~Kaliszyk}, |
9 author = {C.~Urban and C.~Kaliszyk}, |
3 title = {General Bindings and Alpha-Equivalence in Nominal Isabelle}, |
10 title = {General Bindings and Alpha-Equivalence in Nominal Isabelle}, |
4 booktitle = {Proceedings of the 20th European Symposium on Programming (ESOP)}, |
11 booktitle = {Proceedings of the 20th European Symposium on Programming (ESOP)}, |
5 pages = {480-500}, |
12 pages = {480-500}, |