Implicit parameters: dynamic scoping with static types

DOI10.1145/325694.325708MaRDI QIDQ5178847zbMATH OpenOpenAlexFDO

Authors Jeffrey R. Lewis, John Launchbury, Erik Meijer, 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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• A system of constructor classes: overloading and implicit higher-order polymorphism
• A lambda-calculus for dynamic binding
• scientific article; zbMATH DE number 177797
• An approach to completing variable names for implicitly typed functional languages
• Principal type schemes for gradual programs

Cited in

(9)

• Adapting functional programs to higher order logic
• Comonadic notions of computation
• Type-directed weaving of aspects for polymorphically typed functional languages
• Scoped dynamic rewrite rules
• Global variables in Haskell
• Implementing a computer algebra system in Haskell
• COCHIS: stable and coherent implicits
• scientific article; zbMATH DE number 4157860 (Why is no real title available?)
• Derivable type classes

This page was built for publication: Implicit parameters: dynamic scoping with static types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178847)