The universal resolving algorithm: Inverse computation in a functional language

Sergei A. Abramov and Robert Glück
Proc. 5th Int. Conf. Mathematics of Program Construction (MPC 2000), Lecture Notes in Computer Science 1837, Roland Backhouse and José Nuno Fonseca de Oliveira, ed., Springer-Verlag, 2000, pp. 187–212


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