Formally optimal boxing

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Original languageEnglish
Title of host publication21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon
Publication date1994
Pages213-226
Publication statusPublished - 1994

ID: 262572