Inferring the Equivalence of Functional Programsthat Mutate

  • DataIan MasonStanford UniversityIAM, CS. STANFORD. EDU Carolyn TalcottStanford UniversityCLT, SAIL. STANFORD
  • Published 1992

Abstract

Sorry, we couldn't extract an abstract for this paper.

Topics

  • Presentations referencing similar topics