Login / Signup

Matching Constraints for the Lambda Calculus of Objects.

Viviana BonoMichele Bugliesi
Published in: TLCA (1997)
Keyphrases
  • lambda calculus
  • d objects
  • object oriented
  • higher order