A Computational Formalization for Partial Evaluation (Extended Version) (1996)

Cached

Download Links

by John Hatcliff , Olivier Danvy
Citations:4 - 0 self

Documents Related by Co-Citation

11 Cattani and Glynn Winskel. Presheaf models for concurrency – Gian Luca - 1996
12 Stølting Brodal and Chris Okasaki. Optimal purely functional priority queues – Gerth - 1996
150 Algorithm 232: Heapsort – J W J Williams - 1964
3 Gudmund Skovbjerg Frandsen, and Jeffrey Outlaw Shallit. The Computational Complexity of Some Problemsof Linear Algebra – RS-96-33 Jonathan F Buss - 1996
10 Relations: Practical Ways to Reason about `new – Equations Names - 1996
4 Arge. The I/O-Complexity of Ordered BinaryDecision Diagram Manipulation – RS-96-29 Lars - 1996
6 Regular Trace Event Structures – P. S. Thiagarajan, P. S. Thiagarajan - 1996
4 H uttel and Josva Kleist. Objects as Mobile Processes – RS-96-38 Hans - 1996
3 Average-case lower bounds for searching – Colin McDiarmid - 1988
4 An adversary-based lower bound for sorting – Mikhail J Atallah, S Rao Kosaraju - 1981
7 On the Complexity of Deciding Behavioural Equivalences and Preorders -- A Survey – Hans Hüttel, Sandeep Shukla - 1996
11 Efficient searching using partial ordering – A Borodin, L J Guibas, N A Lynch, A C Yao - 1981
29 P.V.: An implicit binomial queue with constant insertion time – S Carlsson, J I Munro, Poblete - 1988
73 Relaxed heaps: An alternative to Fibonacci heaps with applications to parallel computation – James R Driscoll, Harold N Gabow, Ruth Shrairman, Robert E Tarjan - 1988
8 On a Question of A. Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based – Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir - 1996
26 A Balanced Search Tree with O(1) Worst Case Update Time – C Levcopoulos, M H Overmars - 1988
362 Probabilistic computations: Towards a unified measure of complexity – A C Yao - 1977
20 A Simple Balanced Search Tree With O(1) Worst-Case Update Time – Rudolf Fleischer
2 H uttel, and Josva Kleist. Bisimulations for Asynchronous Mobile Processes – RS-96-8 Martin Hansen, Hans - 1996