Implicit parameters
From MaRDI portal
Publication:5178847
DOI10.1145/325694.325708zbMath1323.68131OpenAlexW2014021676MaRDI QIDQ5178847
Erik Meijer, Jeffrey R. Lewis, John Launchbury, Mark B. Shields
Publication date: 17 March 2015
Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/325694.325708
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
Derivable Type Classes ⋮ Type-directed weaving of aspects for polymorphically typed functional languages ⋮ Implementing a computer algebra system in Haskell ⋮ COCHIS: Stable and coherent implicits ⋮ Adapting functional programs to higher order logic ⋮ Scoped Dynamic Rewrite Rules ⋮ Comonadic Notions of Computation
