Active Bibliography

39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
17 Cost Recurrences for DML Programs – Bernd Grobauer - 2001
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
27 Computational Comonads and Intensional Semantics – Stephen Brookes, Shai Geva - 1991
46 Static dependent costs for estimating execution time – Brian Reistad, David K. Gifford - 1994
23 Automatic time-bound analysis for a higher-order language – Gustavo Gomez, Yanhong A. Liu - 2002
Abstract Interpretation and Low-Level Code Optimization – Saumya Debray - 1995
24 A sized time system for a parallel functional language – Hans-wolfgang Loidl, Kevin Hammond - 2003
38 Automatic Accurate Time-Bound Analysis for High-Level Languages – Yanhong Liu, Gustavo Gomez - 1998
15 Automatic Accurate Cost-Bound Analysis for High-Level Languages – Yanhong A. Liu, Gustavo Gómez, Corresponding Yanhong, A. Liu, Yanhong A. Liu Gustavo Gomez - 2001
34 Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis – Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
5 Semantics of Dynamic Variables in Algol-like Languages – Dan R. Ghica - 1997
11 Full abstraction for nominal general references – Nikos Tzevelekos
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
36 Semantic Lego – David Espinosa - 1995
1 Category Theory and the Simply-Typed lambda-Calculus – Alfio Martini, Alfio Martini - 1996
5 A Parallel Complexity Model for Functional Languages – Guy Blelloch , John Greiner - 1994
63 Task Granularity Analysis in Logic Programs – Saumya K. Debray, Nai-wei Lin, Manuel Hermenegildo - 1990