Formalizing Resource Allocation in a Compiler (1998)
by
Peter Thiemann
| Venue: | In ACM Workshop on Types in Compilation |
| Citations: | 2 - 0 self |







