MLOG: A strongly typed confluent functional language with logical variables

DOI10.1016/0304-3975(94)90207-0zbMath0801.68016OpenAlexW1995494849MaRDI QIDQ1314424

Vincent Poirriez

Publication date: 22 February 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90207-0

zbMATH Keywords

operational semantics\(\lambda\)-calculuspattern-matchingevaluation rulesChurch- Rosser propertyprogramming language MLOG

Mathematics Subject Classification ID

Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40)

Uses Software

• MLOG
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Compiling pattern matching by term decomposition
• Programming as a Discipline of Mathematical Nature
• Explicit substitutions

This page was built for publication: MLOG: A strongly typed confluent functional language with logical variables