Publication:2898788

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

• Haskell
• Erlang