A syntactic method for finding least fixed points of higher-order functions over finite domains

author: Tyng-Ruey Chuang and Benjamin Goldberg
publication date: July 1997
cite this with: Tyng-Ruey Chuang and Benjamin Goldberg. A syntactic method for finding least fixed points of higher-order functions over finite domains. In Journal of Functional Programming, Volume 7, Part 4, pages 357-394. July 1997.
link this with: http://tsm.iis.sinica.edu.tw/papers/jfp97/
copyright: all rights reserved
category: Functional Programming
tag:
full paper: postscript

Abstract

 
papers:jfp97:home Last modified: 2007/10/23 17:07