scientific article; zbMATH DE number 709368
From MaRDI portal
Publication:4318862
zbMATH Open0834.68004MaRDI QIDQ4318862FDOQ4318862
Authors: David A. Schmidt 
Publication date: 11 January 1995
Title of this publication is not available (Why is that?)
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
Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Combinatory logic and lambda calculus (03B40)
Cited In (13)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Typed generic traversal with term rewriting strategies
- 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
- Types and programing 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)
