Practical foundations for programming languages

DOI10.1017/CBO9781316576892zbMATH Open1347.68001OpenAlexW4302984605MaRDI QIDQ2805272FDOQ2805272

Authors: Robert Harper 

Publication date: 11 May 2016

Full work available at URL: https://doi.org/10.1017/cbo9781316576892

Recommendations

• Theories of Programming Languages
• Types and programing languages
• scientific article; zbMATH DE number 709368
• scientific article; zbMATH DE number 555217
• Introduction to the theory of programming languages.

Mathematics Subject Classification ID

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

Cited In (34)

• Title not available (Why is that?)
• A fibrational tale of operational logical relations: pure, effectful and differential
• Structural focalization
• Title not available (Why is that?)
• Topological quantum gates in homotopy type theory
• Polymorphic lambda calculus with context-free session types
• On rational choice and the representation of decision problems
• Types for complexity of parallel computation in pi-calculus
• A general framework for static cost analysis of parallel logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Polarized subtyping
• Proof-directed program transformation: a functional account of efficient regular expression matching
• Title not available (Why is that?)
• Supercompilation for Martin-Lof's type theory
• Two decades of automatic amortized resource analysis
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
• Towards the complexity analysis of programming language proof methods
• Native type theory
• Theories of Programming Languages
• Programming language semantics: It’s easy as 1,2,3
• A generic type system for higher-order \(\Psi\)-calculi
• Computation semantics of the functional scientific workflow language Cuneiform
• Title not available (Why is that?)
• Title not available (Why is that?)
• Normalization by Evaluation for Typed Weak lambda-Reduction
• Fairness and communication-based semantics for session-typed languages
• Modularity in mathematics
• Title not available (Why is that?)
• Meaning explanations at higher dimension
• Title not available (Why is that?)
• Higher order functions and Brouwer's thesis
• Interpreting knowledge-based programs
• Classical (co)recursion: Mechanics

This page was built for publication: Practical foundations for programming languages

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