Semantics of pattern unification

DOI10.1017/S0956796825100130MaRDI QIDQ7255003zbMATH OpenFDO

Authors Ambroise Lafont, Neel Krishnaswami

Publication date 29 May 2026

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

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites work

• A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types
• A classification of accessible categories
• A left adjoint construction related to free triples
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• Categorical logic and type theory
• Computer Science Logic
• Contextual modal type theory
• Higher-order dynamic pattern unification for dependent types and records
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 269628 (Why is no real title available?)
• scientific article; zbMATH DE number 3305157 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Internal type theory
• Nominal unification from a higher-order perspective
• Pattern unification for the lambda calculus with linear and affine types
• Programming Languages and Systems
• Second-Order Equational Logic (Extended Abstract)
• Two-dimensional monad theory

This page was built for publication: Semantics of pattern unification

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