Adaptive functional programming
From MaRDI portal
Publication:5178910
DOI10.1145/503272.503296zbMath1322.68034OpenAlexW1995307698MaRDI QIDQ5178910
Robert Harper, Guy E. Blelloch, Umut A. Acar
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503296
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Minimal on-line labelling, Build systems à la carte: Theory and practice, Unnamed Item, An Incremental Bisimulation Algorithm, Programming Languages For Interactive Computing
