Functional logic overloading
From MaRDI portal
Publication:5178909
DOI10.1145/503272.503294zbMath1323.68143OpenAlexW2105831091MaRDI QIDQ5178909
Martin Gasbichler, Michael Sperber, Matthias Neubauer, Peter Thiemann
Publication date: 17 March 2015
Published in: Unnamed Author (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503294
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)
Uses Software
This page was built for publication: Functional logic overloading
