| 2004 |
|---|
| 4 | EE | Stacy E. Finkelstein,
Peter J. Freyd,
James Lipton:
Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160].
Theor. Comput. Sci. 311(1-3): 527 (2004) |
| 2003 |
|---|
| 3 | EE | Stacy E. Finkelstein,
Peter J. Freyd,
James Lipton:
A new framework for declarative programming.
Theor. Comput. Sci. 300(1-3): 91-160 (2003) |
| 1996 |
|---|
| 2 | | James Lipton,
Stacy E. Finkelstein,
Peter J. Freyd:
A New Framework for Declarative Programming: Categorial Perspectives.
ELP 1996: 209-211 |
| 1994 |
|---|
| 1 | | Stacy E. Finkelstein,
Peter J. Freyd,
James Lipton:
Logic Programming in Tau Categories.
CSL 1994: 249-263 |
