Publication:3651734

zbMath1187.68117MaRDI QIDQ3651734

Mitchell Wand, Daniel P. Friedman

Publication date: 11 December 2009

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68N15: Theory of programming languages

Related Items

Functional un\(|\)unparsing, From Reduction-Based to Reduction-Free Normalization