Practical foundations for programming languages
From MaRDI portal
Recommendations
Cited in
(46)- A contextual formalization of structural coinduction
- 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
- A logical approach to type soundness
- 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 -calculi
- Dependent type refinements for futures
- A denotationally-based program logic for higher-order store
- 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
- Adjoint natural deduction
- Second-order generalised algebraic theories: signatures and first-order semantics
- Kind inference for the \textsc{FreeST} programming language
- scientific article; zbMATH DE number 756366 (Why is no real title available?)
- Meaning explanations at higher dimension
- Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators
- Call-by-value and call-by-name: a simple proof of a classic theorem
- scientific article; zbMATH DE number 7559296 (Why is no real title available?)
- Choice trees: representing and reasoning about nondeterministic, recursive, and impure programs in Rocq
- Higher order functions and Brouwer's thesis
- Interpreting knowledge-based programs
- The quantum monadology
- Q\# as a quantum algorithmic language
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)
