source: Papers/polymorphic-variants-2012/polymorphic-variants.bib @ 2549

Last change on this file since 2549 was 2416, checked in by mulligan, 7 years ago

Some more minor changes

File size: 682 bytes
Line 
1@article
2{ asperti:user:2007,
3  author = {Andrea Asperti and Claudio {Sacerdoti Coen} and Enrico Tassi and Stefano Zacchiroli},
4  title = {User interaction with the {Matita} proof assistant},
5  journal = {Automated Reasoning},
6  pages = {109--139},
7  volume = {39},
8  issue = {2},
9  year = {2007}
10}
11
12@inproceedings
13{ garrigue:code:2000,
14  author = {Jacques Garrigue},
15  title = {Code reuse through polymorphic variants},
16  booktitle = {Workshop on foundations of software engineering},
17  year = {2000}
18}
19
20@inproceedings
21{ garrigue:programming:1998,
22  author = {Jacques Garrigue},
23  title = {Programming with polymorphic variants},
24  booktitle = {{ML} workshop},
25  year = {1998} 
26}
Note: See TracBrowser for help on using the repository browser.