Programming -- an introduction to computer science with Standard ML

DOI10.1524/9783486719734MaRDI QIDQ5895003zbMATH OpenOpenAlexFDO

Authors Gert Smolka

Publication date 22 September 2011

Full work available at URL https://doi.org/10.1524/9783486719734

zbMATH Keywords

compilercorrectness proofdata structuresfunctional programminginterpreterparserprogrammingStandard ML

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Programming -- an introduction to computer science with Standard ML
• scientific article; zbMATH DE number 4054988
• scientific article; zbMATH DE number 801744
• Struktur und Interpretation von Computerprogrammen
• Lectures on computer science. Vol. 1: Foundations and functional programming

Cited in

(9)

• Struktur und Interpretation von Computerprogrammen
• scientific article; zbMATH DE number 3967879 (Why is no real title available?)
• scientific article; zbMATH DE number 4054988 (Why is no real title available?)
• scientific article; zbMATH DE number 108015 (Why is no real title available?)
• scientific article; zbMATH DE number 1565724 (Why is no real title available?)
• scientific article; zbMATH DE number 801744 (Why is no real title available?)
• Programming languages -- concepts, structures and implementation in Java
• Programming -- an introduction to computer science with Standard ML
• The Tortoise and Hare Algorithm

This page was built for publication: Programming -- an introduction to computer science with Standard ML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5895003)