Practical foundations for programming languages
From MaRDI portal
Publication:2805272
Recommendations
Cited in
(34)- scientific article; zbMATH DE number 7447752 (Why is no real title available?)
- Classical (co)recursion: Mechanics
- Structural focalization
- A fibrational tale of operational logical relations: pure, effectful and differential
- scientific article; zbMATH DE number 1531624 (Why is no real title available?)
- 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
- Topological quantum gates in homotopy type theory
- A general framework for static cost analysis of parallel logic programs
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 7243675 (Why is no real title available?)
- Supercompilation for Martin-Lof's type theory
- Proof-directed program transformation: a functional account of efficient regular expression matching
- Polarized subtyping
- scientific article; zbMATH DE number 2238212 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 7204440 (Why is no real title available?)
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- Normalization by Evaluation for Typed Weak lambda-Reduction
- Fairness and communication-based semantics for session-typed languages
- Modularity in mathematics
- scientific article; zbMATH DE number 756366 (Why is no real title available?)
- Meaning explanations at higher dimension
- scientific article; zbMATH DE number 7559296 (Why is no real title available?)
- Higher order functions and Brouwer's thesis
- Interpreting knowledge-based programs
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)
