Skip to content

Finding Fixed Point Combinators Using Prolog.

Richard Rankin, Ralph W. Wilkerson

Year1993
ProceedingsSAC

Browse the full SAC paper archive.