Pages that link to "Item:Q1566861"

The following pages link to Fundamental concepts in programming languages (Q1566861):

Displaying 29 items.

• Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
• VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
• The transformation of requirements into software primitives: studying evolvability based on systems theoretic stability (Q553541) (← links)
• Functorial polymorphism (Q753948) (← links)
• A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
• The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
• A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
• A theory of type polymorphism in programming (Q1250704) (← links)
• Formal parametric polymorphism (Q1314344) (← links)
• Executable component-based semantics (Q1734523) (← links)
• The Girard-Reynolds isomorphism (Q1887154) (← links)
• Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
• Programming and symbolic computation in Maude (Q2291818) (← links)
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (Q2566031) (← links)
• Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
• Parametric Polymorphism — Universally (Q2947462) (← links)
• Proof-Relevant Parametricity (Q3188282) (← links)
• PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS (Q3224882) (← links)
• Coercions in a polymorphic type system (Q3520150) (← links)
• SLP: A paged processor for compact lists (Q4166210) (← links)
• Hoare logic for Java in Isabelle/HOL (Q4329634) (← links)
• POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
• The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian (Q4995608) (← links)
• Full abstraction and the Context Lemma (preliminary report) (Q5096215) (← links)
• Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
• Generic top-down discrimination for sorting and partitioning in linear time (Q5398338) (← links)
• Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
• Type polymorphism, natural language semantics, and TIL (Q6156627) (← links)
• Intensional harmony as isomorphism (Q6612873) (← links)