Practical Foundations for Programming Languages
From MaRDI portal
Publication:2805272
DOI10.1017/CBO9781316576892zbMath1347.68001OpenAlexW4302984605MaRDI QIDQ2805272
Publication date: 11 May 2016
Full work available at URL: https://doi.org/10.1017/cbo9781316576892
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items (24)
Supercompilation for Martin-Lof's type theory ⋮ Computation semantics of the functional scientific workflow language Cuneiform ⋮ On rational choice and the representation of decision problems ⋮ Structural Focalization ⋮ Fairness and communication-based semantics for session-typed languages ⋮ A General Framework for Static Cost Analysis of Parallel Logic Programs ⋮ Programming language semantics: It’s easy as 1,2,3 ⋮ Meaning explanations at higher dimension ⋮ Classical (co)recursion: Mechanics ⋮ Polarized subtyping ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Types for complexity of parallel computation in pi-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ MODULARITY IN MATHEMATICS ⋮ Normalization by Evaluation for Typed Weak lambda-Reduction ⋮ Unnamed Item ⋮ Higher order functions and Brouwer’s thesis ⋮ Proof-directed program transformation: A functional account of efficient regular expression matching ⋮ Polymorphic lambda calculus with context-free session types ⋮ Two decades of automatic amortized resource analysis
This page was built for publication: Practical Foundations for Programming Languages
