A program inverter for a functional language with equality and constructors

Robert Glück and Masahiko Kawabe
Proc. 1st Asian Symp. Programming Languages and Systems (APLAS 2003), Lecture Notes in Computer Science 2895, A. Ohori, ed., Springer-Verlag, 2003, pp. 246–264
Tech. report D-491, Univ. of Copenhagen, Dept. of Computer Science, 2003
ftp://ftp.diku.dk/diku/semantics/papers/D-491.ps.gz

Cites:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!