Implementation of Functional Languages

DOI10.1007/B102274zbMath1108.68356OpenAlexW4210664715MaRDI QIDQ5466590

Pedro Vasconcelos, Kevin Hammond

Publication date: 24 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b102274

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (9)

A Transformational Approach to Resource Analysis with Typed-Norms ⋮ Verified Root-Balanced Trees ⋮ The Peter Landin prize ⋮ A general framework for static profiling of parametric resource usage ⋮ Tight typings and split bounds, fully developed ⋮ Amortized complexity verified ⋮ Inferring Static Non-monotone Size-aware Types Through Testing ⋮ A Transformational Approach to Parametric Accumulated-Cost Static Profiling ⋮ A Transformational Approach to Resource Analysis with Typed-norms Inference

This page was built for publication: Implementation of Functional Languages