A Semantic Model of Binding Times for Safe Partial Evaluation

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Binding time, ideal model, partial evaluation, safety, topped domains, monovariance
Original languageEnglish
Title of host publicationProc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science
Publication date1995
Publication statusPublished - 1995

ID: 235243