Generic discrimination

From MaRDI portal

Revision as of 15:53, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5178758

Jump to:navigation, search

DOI10.1145/1411204.1411220zbMath1323.68247OpenAlexW4252625692MaRDI QIDQ5178758

Fritz Henglein

Publication date: 16 March 2015

Published in: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1411204.1411220

zbMATH Keywords

functional equivalence partitioning sorting order discrimination generic discriminator total preorder multiset discrimination

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Searching and sorting (68P10) Nonnumerical algorithms (68W05) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (3)

What is a sorting function? ⋮ Generic multiset programming with discrimination-based joins and symbolic Cartesian products ⋮ Generic top-down discrimination for sorting and partitioning in linear time

This page was built for publication: Generic discrimination

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5178758&oldid=19744482"