Pages that link to "Item:Q2805272"
From MaRDI portal
The following pages link to Practical foundations for programming languages (Q2805272):
Displaying 28 items.
- Supercompilation for Martin-Lof's type theory (Q300348) (← links)
- Meaning explanations at higher dimension (Q1688954) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- On rational choice and the representation of decision problems (Q2669132) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Structural Focalization (Q2946730) (← links)
- (Q3384900) (← links)
- Computation semantics of the functional scientific workflow language Cuneiform (Q4577807) (← links)
- (Q4699034) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- Proof-directed program transformation: A functional account of efficient regular expression matching (Q5016216) (← links)
- (Q5089033) (← links)
- Normalization by Evaluation for Typed Weak lambda-Reduction (Q5091147) (← links)
- A General Framework for Static Cost Analysis of Parallel Logic Programs (Q5097623) (← links)
- Relating system F and \(\lambda 2\): a case study in Coq, Abella and Beluga (Q5111317) (← links)
- (Q5119393) (← links)
- (Q5155670) (← links)
- MODULARITY IN MATHEMATICS (Q5221289) (← links)
- Two decades of automatic amortized resource analysis (Q5875892) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
- Classical (co)recursion: Mechanics (Q6132720) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Interpreting knowledge-based programs (Q6535240) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- Towards the complexity analysis of programming language proof methods (Q6605344) (← links)
- A generic type system for higher-order \(\Psi\)-calculi (Q6614878) (← links)
