Pages that link to "Item:Q162338"
From MaRDI portal
The following pages link to Higher-Order and Symbolic Computation (Q162338):
Displayed 50 items.
- Special issue: Selected papers based on the presentations at the ACM SIGPLAN workshop on partial evaluation and program manipulation (PEPM), Savannah, GA, USA, January 19--20, 2009 (Q430164) (← links)
- Editorial PEPM 2012 (Q526435) (← links)
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439) (← links)
- Functional programs as compressed data (Q526441) (← links)
- The interaction of contracts and laziness (Q526445) (← links)
- An approach to completing variable names for implicitly typed functional languages (Q526448) (← links)
- Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations (Q526451) (← links)
- Editorial TFP 2009/2010 (Q526452) (← links)
- Graph-based communication in Eden (Q526455) (← links)
- Graphical and incremental type inference. A graph transformation approach (Q526459) (← links)
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- Peter Landin: a computer scientist who inspired a generation (Q604855) (← 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)
- Getting rid of labels (Q604864) (← links)
- Stories about calculations: Remembering Peter Landin (Q604866) (← links)
- Calculations (Q604867) (← links)
- Special issue: PEPM 2010, ACM SIGPLAN 2010 workshop on partial evaluation and program manipulation, Madrid, Spain, January 18--19, 2010. Selected papers. (Q654859) (← links)
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- The two variable per inequality abstract domain (Q656848) (← links)
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Space-efficient gradual typing (Q656856) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- A lean specification for gadts: System F with first-class equality proofs (Q656862) (← links)
- \textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864) (← links)
- Context-sensitive analysis without calling-context (Q656869) (← links)
- Making ``stricterness'' more relevant (Q656871) (← links)
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- Selectors make set-based analysis too hard (Q812081) (← links)
- BIT: A very compact Scheme system for microcontrollers (Q812083) (← links)
- Fixing \texttt{letrec}: A faithful yet efficient implementation of Scheme's recursive binding construct (Q812087) (← links)
- Integrating user-level threads with processes in scsh (Q812090) (← links)
- Implementing metcast in Scheme (Q812091) (← links)
- A variadic extension of Curry's fixed-point combinator (Q812092) (← links)
- Robert Paige (1947--1999) (Q814996) (← links)
- Remembrances of Bob Paige (Q814997) (← links)
- An appreciation of Bob Paige (Q814999) (← links)
- Transformational derivation of an improved alias analysis algorithm (Q815001) (← links)
- Least reflexive points of relations (Q815002) (← links)
- Relativizations for the logic-automata connection (Q815004) (← links)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- An NSF proposal (Q815007) (← links)
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- Expressible sharing for functional circuit description (Q848741) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- A minimalistic look at widening operators (Q848744) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)