Stacy E. Finkelstein

According to our database, Stacy E. Finkelstein authored at least 4 papers between 1994 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160].

Stacy E. Finkelstein, Peter J. Freyd, James Lipton

Theor. Comput. Sci., 2004

2003

A new framework for declarative programming.

Stacy E. Finkelstein, Peter J. Freyd, James Lipton

Theor. Comput. Sci., 2003

1996

A New Framework for Declarative Programming: Categorial Perspectives.

James Lipton, Stacy E. Finkelstein, Peter J. Freyd

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1994

Logic Programming in Tau Categories.

Stacy E. Finkelstein, Peter J. Freyd, James Lipton

Proceedings of the Computer Science Logic, 8th International Workshop, 1994