scientific article; zbMATH DE number 709368

MaRDI QIDQ4318862zbMATH OpenFDO

Authors David A. Schmidt

Publication date 11 January 1995

zbMATH Keywords

functional languagesimperative languages

Mathematics Subject Classification ID

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

Recommendations

• The structure of programming languages
• Types and programing languages
• Type system in programming languages
• scientific article; zbMATH DE number 559219
• scientific article; zbMATH DE number 1361534
• Type theories and object-oriented programmimg
• scientific article; zbMATH DE number 555217
• scientific article; zbMATH DE number 4090764
• Typed syntactic meta-programming
• Expressive power of typed and type-free programming languages

Cited in

(13)

• Types and programing languages
• scientific article; zbMATH DE number 1210910 (Why is no real title available?)
• Typed generic traversal with term rewriting strategies
• scientific article; zbMATH DE number 3900134 (Why is no real title available?)
• Theories of Programming Languages
• Fundamentals of coding type problems
• Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
• Types in programming languages and corresponding safety theorems
• On formal and cognitive semantics for semantic computing
• Towards a unified model of search in theorem-proving: subgoal-reduction strategies
• A categorical interpretation of Landin's correspondence principle
• Well-structured languages
• Practical foundations for programming languages

This page was built for publication:

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