1 @inproceedings{pfenningsystem, |
1 @inproceedings{pfenningsystem, |
2 author = "Frank Pfenning and Carsten Sch{\"u}rmann", |
2 author = "F.~Pfenning and C.~Sch{\"u}rmann", |
3 title = "System Description: Twelf---{A} Meta-Logical |
3 title = "{S}ystem {D}escription: {T}welf - {A} {M}eta-{L}ogical |
4 Framework for Deductive Systems", |
4 {F}ramework for {D}eductive {S}ystems", |
5 booktitle = "Automated Deduction", |
5 booktitle = "Proc.~of the 16th International Conference on Automated Deduction (CADE)", |
6 series = "LNAI", |
6 series = "LNAI", |
7 volume = 1632, |
7 volume = 1632, |
8 pages = "202--206", |
8 pages = "202--206", |
9 year = 1999 |
9 year = 1999 |
10 } |
10 } |
36 year = {2011} |
36 year = {2011} |
37 } |
37 } |
38 |
38 |
39 @InProceedings{UrbanKaliszyk11, |
39 @InProceedings{UrbanKaliszyk11, |
40 author = {C.~Urban and C.~Kaliszyk}, |
40 author = {C.~Urban and C.~Kaliszyk}, |
41 title = {General Bindings and Alpha-Equivalence in Nominal Isabelle}, |
41 title = {{G}eneral {B}indings and {A}lpha-{E}quivalence in {N}ominal {I}sabelle}, |
42 booktitle = {Proceedings of the 20th European Symposium on Programming (ESOP)}, |
42 booktitle = {Proc.~of the 20th European Symposium on Programming (ESOP)}, |
43 pages = {480-500}, |
43 pages = {480-500}, |
44 year = {2011}, |
44 year = {2011}, |
45 volume = {6602}, |
45 volume = {6602}, |
46 series = {LNCS} |
46 series = {LNCS} |
47 } |
47 } |
48 |
48 |
49 |
49 |
50 @inproceedings{KaliszykUrban11, |
50 @inproceedings{KaliszykUrban11, |
51 author = {C.~Kaliszyk and C.~Urban}, |
51 author = {C.~Kaliszyk and C.~Urban}, |
52 title = {{Q}uotients {R}evisited for {I}sabelle/{HOL}}, |
52 title = {{Q}uotients {R}evisited for {I}sabelle/{HOL}}, |
53 booktitle = {Proc.~of the 26th ACM Symposium On Applied Computing (SAC)}, |
53 booktitle = {Proc.~of the 26th ACM Symposium on Applied Computing (SAC)}, |
54 year = {2011}, |
54 year = {2011}, |
55 pages = {1639--1644} |
55 pages = {1639--1644} |
56 } |
56 } |
57 |
57 |
58 @InProceedings{cheney05a, |
58 @InProceedings{cheney05a, |
59 author = {J.~Cheney}, |
59 author = {J.~Cheney}, |
60 title = {{S}crap your {N}ameplate ({F}unctional {P}earl)}, |
60 title = {{S}crap {Y}our {N}ameplate ({F}unctional {P}earl)}, |
61 booktitle = {Proc.~of the 10th International Conference on Functional Programming (ICFP)}, |
61 booktitle = {Proc.~of the 10th International Conference on Functional Programming (ICFP)}, |
62 pages = {180--191}, |
62 pages = {180--191}, |
63 year = {2005} |
63 year = {2005} |
64 } |
64 } |
65 |
65 |
135 year = {2007} |
135 year = {2007} |
136 } |
136 } |
137 |
137 |
138 @inproceedings{cheney05, |
138 @inproceedings{cheney05, |
139 author = {J.~Cheney}, |
139 author = {J.~Cheney}, |
140 title = {{T}oward a {G}eneral {T}heory of {N}ames: {B}inding and {S}cope}, |
140 title = {{T}owards a {G}eneral {T}heory of {N}ames: {B}inding and {S}cope}, |
141 booktitle = {Proc.~of the 3rd ACM Workshop on Mechanized Reasoning about Languages |
141 booktitle = {Proc.~of the 3rd ACM Workshop on Mechanized Reasoning about Languages |
142 with Variable Binding and Names (MERLIN)}, |
142 with Variable Binding and Names (MERLIN)}, |
143 year = {2005}, |
143 year = {2005}, |
144 pages = {33-40} |
144 pages = {33-40} |
145 } |
145 } |
189 |
189 |
190 @INPROCEEDINGS{Pottier06, |
190 @INPROCEEDINGS{Pottier06, |
191 author = {F.~Pottier}, |
191 author = {F.~Pottier}, |
192 title = {{A}n {O}verview of {C$\alpha$ml}}, |
192 title = {{A}n {O}verview of {C$\alpha$ml}}, |
193 year = {2006}, |
193 year = {2006}, |
194 booktitle = {ACM Workshop on ML}, |
194 booktitle = {Proc.~of the ACM Workshop on ML}, |
195 pages = {27--52}, |
195 pages = {27--52}, |
196 volume = {148}, |
196 volume = {148}, |
197 number = {2}, |
197 number = {2}, |
198 series = {ENTCS} |
198 series = {ENTCS} |
199 } |
199 } |