| 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.
