Pages that link to "Item:Q5528159"
From MaRDI portal
The following pages link to The next 700 programming languages (Q5528159):
Displaying 33 items.
- A survey of state vectors (Q458456) (← links)
- Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus (Q530864) (← links)
- Personal recollections of Peter Landin: 1987-2009 (Q604857) (← links)
- The Peter Landin prize (Q604860) (← links)
- An introduction to Landin's ``Getting rid of labels'' (Q604862) (← links)
- Functorial polymorphism (Q753948) (← links)
- Implementing metcast in Scheme (Q812091) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- Adapting combinator and SECD machines to display snapshots of functional computations (Q1082792) (← links)
- Needed reduction and spine strategies for the lambda calculus (Q1097253) (← links)
- Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs (Q1098614) (← links)
- Pebble, a kernel language for modules and abstract data types (Q1104071) (← links)
- Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles'' (Q1134511) (← links)
- The revised report on the syntactic theories of sequential control and state (Q1199538) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- A theory of type polymorphism in programming (Q1250704) (← links)
- A syntactic theory of sequential state (Q1263961) (← links)
- Concrete domains (Q1314355) (← links)
- A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363) (← links)
- Lambda-dropping: Transforming recursive equations into programs with block structure (Q1583366) (← links)
- Intensional computation with higher-order functions (Q1733061) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- On the structural simplicity of machines and languages (Q1924785) (← links)
- Semantically restricted argument dependencies (Q2429990) (← links)
- Tactics for mechanized reasoning: a commentary on Milner (1984) ‘The use of machines to assist in rigorous proof’ (Q2955752) (← links)
- ProofScript: Proof Scripting for the Masses (Q3179409) (← links)
- A glimpse into the paradise of combinatory algebra (Q3343428) (← links)
- Capsules and Closures (Q5739358) (← links)
- Process calculi for biological processes (Q6062000) (← links)
