Publisher
Springer Berlin Heidelberg
Reference69 articles.
1. S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood Limited, West Sussex, England, 1987.
2. S. Abramsky and C. Hankin. An introduction to abstract interpretation. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of Declarative Languages, chapter 1, pages 9–31. Ellis Horwood Limited, 1987.
3. O. Agesen. Constraint-Based Type Inference and Parametric Polymorphism. In [43], pages 78–101, 1994.
4. A. Aiken and T.K. Lakshman. Directional Type Checking of Logic Programs. In [43], pages 43–60, 1994.
5. T. Armstrong, K. Marriott, P. Schachte, and H. Søndergaard. Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. In [43], pages 266–280, 1994.