scientific article; zbMATH DE number 1161584
From MaRDI portal
Publication:4393497
Recommendations
- Optimizing structural recursion in functional programs
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs
- scientific article; zbMATH DE number 1118872
- Compile-Time Garbage Collection for Higher-Order Functional Languages
- Types for Proofs and Programs
- The optimal implementation of functional programming languages
- scientific article; zbMATH DE number 1305512
Cited in
(4)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4393497)