Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 14:20 - 14:45 at Pine - Session 3 Chair(s): Zoe Paraskevopoulou

The resource-management model of C++ and Rust relies on compiler-generated destructors called predictably and reliably. In current implementations, the generated destructor consumes stack space proportionally to the depth of the structure it destructs. We describe a way to derive destructors for algebraic data types that consume a constant amount of stack and heap. We discuss applicability to C++ and Rust, and also some implication for anyone wishing to extend an ML-style language with first-class resources.

Thu 22 Aug

mlfamilyworkshop-2019-papers
13:30 - 15:00: ML 2019 - Session 3 at Pine
Chair(s): Zoe ParaskevopoulouPrinceton University
mlfamilyworkshop-2019-papers13:30 - 13:55
Talk
Steven CheungUniversity of Birmingham, UK
File Attached
mlfamilyworkshop-2019-papers13:55 - 14:20
Talk
Jean-Baptiste JeanninUniversity of Michigan, USA
File Attached
mlfamilyworkshop-2019-papers14:20 - 14:45
Talk
Pre-print