COCHIS: stable and coherent implicits

DOI10.1017/S0956796818000242zbMATH Open1493.68094OpenAlexW2912261953WikidataQ128437207 ScholiaQ128437207MaRDI QIDQ4972074FDOQ4972074

Authors: Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian 

Publication date: 22 November 2019

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796818000242

Recommendations

• Implicit coercions in type systems
• A computational view of implicit coercions in type theory
• scientific article; zbMATH DE number 1722663
• Implicit parameters: dynamic scoping with static types
• The coherence of languages with intersection types

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Cites Work

• A theory of type polymorphism in programming
• Dependently typed programming in Agda
• Title not available (Why is that?)
• An Efficient Unification Algorithm
• The lambda calculus, its syntax and semantics
• Types and programing languages
• Focusing and polarization in linear, intuitionistic, and classical logics
• Unification under a mixed prefix
• The Principal Type-Scheme of an Object in Combinatory Logic
• Logic Programming with Focusing Proofs in Linear Logic
• Uniform proofs as a foundation for logic programming
• Title not available (Why is that?)
• Complete and easy bidirectional typechecking for higher-rank polymorphism
• ML ^F
• A Deductive Approach to Program Synthesis
• Propositions as sessions
• \textsc{OutsideIn(X)}: modular type inference with local assumptions
• Understanding functional dependencies via constraint handling rules
• Associated type synonyms
• Modular type classes
• Practical type inference for arbitrary-rank types
• Qualified Types
• Type checking with open type functions
• Associated types with class
• An extended comparative study of language support for generic programming
• Inheritance as implicit coercion
• Implicit parameters
• HMF
• FPH
• First-Class Type Classes
• The coherence of languages with intersection types
• On the bright side of type classes
• Title not available (Why is that?)
• How to make ad hoc proof automation less ad hoc
• Closed type families with overlapping equations
• Title not available (Why is that?)
• Instance chains

Uses Software

• ML
• Haskell
• GHC
• Scala
• Agda
• Idris
• Rust
• GitHub

This page was built for publication: COCHIS: stable and coherent implicits

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