Publication:2898788

From MaRDI portal
Revision as of 20:34, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath1249.68030MaRDI QIDQ2898788

Gergely Dévai

Publication date: 12 July 2012


zbMATH Keywords

pattern matching; EDSLs; restricted function patterns


Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68N17: Logic programming

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)



Uses Software


Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2898788&oldid=15856751"
Powered by MediaWiki