Fingerprint
Dive into the research topics of 'Static Determination of Quantitative Resource Usage for Higher-Order Programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Static Determination of Quantitative Resource Usage for Higher-Order Programs
Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution