|
Search the dblp DataBase
Stacy E. Finkelstein:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stacy E. Finkelstein, Peter J. Freyd, James Lipton
Logic Programming in Tau Categories. [Citation Graph (0, 0)][DBLP] CSL, 1994, pp:249-263 [Conf]
- James Lipton, Stacy E. Finkelstein, Peter J. Freyd
A New Framework for Declarative Programming: Categorial Perspectives. [Citation Graph (0, 0)][DBLP] ELP, 1996, pp:209-211 [Conf]
- Stacy E. Finkelstein, Peter J. Freyd, James Lipton
A new framework for declarative programming. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:300, n:1-3, pp:91-160 [Journal]
- Stacy E. Finkelstein, Peter J. Freyd, James Lipton
Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160]. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:311, n:1-3, pp:527- [Journal]
Search in 0.001secs, Finished in 0.001secs
|