Publications

3 results for Gyorgy Revesz

A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem
- - György E. Révész
- 1992
- Theoretical Computer Science
Paper
Comparing two functional programming systems
- - Brent Hailpern
  - Tien Huynh
  - et al.
- 1992
- IEEE Transactions on Software Engineering
Paper
Comparing Two Functional Programming Systems
- - Brent Hailpern
  - Tien Huynh
  - et al.
- 1989
- IEEE Transactions on Software Engineering
Paper

A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem