Pages that link to "Item:Q2805272"
From MaRDI portal
The following pages link to Practical Foundations for Programming Languages (Q2805272):
Displaying 22 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)
- 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)
- (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)
