Fresh(ID:1225/fre005)



People:
References:
  • Smolka, G. "Fresh: A Higher-Order Language Based on Unification" view details
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986 view details