equal
deleted
inserted
replaced
|
1 |
|
2 @InProceedings{CoreHaskell, |
|
3 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}, |
|
5 booktitle = {Proc of TLDI}, |
|
6 pages = {??}, |
|
7 year = {2007} |
|
8 } |
1 |
9 |
2 @inproceedings{cheney05, |
10 @inproceedings{cheney05, |
3 author = {J.~Cheney}, |
11 author = {J.~Cheney}, |
4 title = {{T}oward a {G}eneral {T}heory of {N}ames: {B}inding and {S}cope}, |
12 title = {{T}oward a {G}eneral {T}heory of {N}ames: {B}inding and {S}cope}, |
5 booktitle = {Proc.~of the 3rd MERLIN workshop}, |
13 booktitle = {Proc.~of the 3rd MERLIN workshop}, |