- Interaction systems II: The practice of optimal reductions Andrea Asperti Cosimo Laneve Mon 01 July 2013
- The Boolean formula value problem is in ALOGTIME S. R. Buss Mon 01 July 2013
- CFA2: Pushdown Flow Analysis for Higher-Order Languages Dimitrios Vardoulakis Mon 01 July 2013
- Pushdown flow analysis of first-class control Dimitrios Vardoulakis Olin Shivers Mon 01 July 2013
- The essence of computation Hanne Riis Nielson Flemming Nielson Mon 01 July 2013
- Control-flow analysis of function calls and returns by abstract interpretation Jan Midtgaard Thomas P. Jensen Mon 01 July 2013
- Control-flow analysis of function calls and returns by abstract interpretation Jan Midtgaard Thomas P. Jensen Mon 01 July 2013
- Type inclusion constraints and type inference Alexander Aiken Edward L. Wimmers Mon 01 July 2013
- Set constraints: Results, applications and future directions Alexander Aiken Mon 01 July 2013
- Program schemes, recursion schemes, and formal languages Stephen J. Garland David C. Luckham Mon 01 July 2013
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work Peter Møller Neergaard Harry G. Mairson Sun 30 June 2013
- From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple Harry G. Mairson Sun 30 June 2013
- Higher-order minimal function graphs Neil D Jones Mads Rosendahl Sun 30 June 2013
- Automatic computation of data set definitions John C. Reynolds Fri 28 June 2013
- Flow analysis and optimization of LISP-like structures Neil D. Jones Steven S. Muchnick Fri 28 June 2013
- Notes on ``A CUCH-machine: The automatic treatment of bound variables'' Corrado Bøhm Mariangiola Dezani Fri 28 June 2013
- A CUCH-machine: The automatic treatment of bound variables Corrado Bøhm Mariangiola Dezani Fri 28 June 2013
- On the Cubic Bottleneck in Subtyping and Flow Analysis Nevin Heintze David McAllester Thu 27 June 2013
- Subcubic algorithms for recursive state machines Swarat Chaudhuri Thu 27 June 2013
- Flow Analysis of Typed Higher-Order Programs Christian Mossin Thu 27 June 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
