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

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

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

(14)

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

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)