Samson Abramsky Thomas P. Jensen Imperial College  Home/Search
Context Related
| irisa.fr/lande/jensen/paper...popl91.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: irisa.fr/lande/jen...JENSENpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper defines the categorical notions of relators and transformations and shows that these concepts enable us to give a semantics for polymorphic, higher order functional programs. We demonstrate the pertinence of this semantics to the analysis of polymorphic programs by proving that strictness analysis is a polymorphic invariant. 1 Introduction Recently, there has been some effort to construe the semantics of polymorphic functional programming languages using the categorical notion of a... (Update)
Context of citations to this paper: More
...relational semantic framework we describe is also useful in investigating other aspects of programming languages. Abramsky and Jensen [AbJ91] use it for strictness analysis and O Hearn and Tennent [OHT93] use it in studying semantics of local variables. The main mathematical...
.... approach to extending the theory of abstract interpretation of the simply typed lambda calculus to cope with polymorphism is presented in [AJ91]. In [Mog89] Launchbury s projection based method has been extended to a higher order language in a way which is rather different from...
Cited by: More
Polymorphic Strictness Analysis Using Frontiers - Seward (1992) (Correct)
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) (Correct)
Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993) (Correct)
Active bibliography (related documents): More All
0.5: Abstract Interpretation of Functional Languages: From Theory to.. - Hunt (1991) (Correct)
0.2: Reflexive Graphs and Parametric Polymorphism - Rosolini (1993) (Correct)
0.2: Types, Abstraction, and Parametric Polymorphism, Part 2 - Ma, Reynolds (1991) (Correct)
Similar documents based on text: More All
0.2: Inference of Polymorphic and Conditional Strictness Properties - Jensen (1998) (Correct)
0.1: Uniform Ideals and Strictness Analysis - Ernoult, Mycroft (1991) (Correct)
0.1: An Iterative Powerdomain Construction - Ferguson And Hughes (1989) (Correct)
Related documents from co-citation: More All
7: Strictness analysis on non-flat domains (context) - Wadler - 1987
7: Strictness Analysis and Polymorphic Invariance (context) - Abramsky - 1985
6: Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
BibTeX entry: (Update)
S. Abramsky and T. P. Jensen, A relational approach to strictness analysis for higherorder polymorphic functions, in: Eighteenth Annual Symposium on Principles of Programming Languages, Ontario, Florida, Jan 21--23, pp.49--54, 1991. http://citeseer.ist.psu.edu/abramsky91relational.html More
@inproceedings{ abramsky91relational,
author = "Samson Abramsky and Thomas P. Jensen",
title = "A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions",
booktitle = "Conference Record of the Eighteenth Annual {ACM} Symposium on Principles of Programming Languages",
address = "Orlando, Florida",
pages = "49--54",
year = "1991",
url = "citeseer.ist.psu.edu/abramsky91relational.html" }
Citations (may not include all citations):359 The Implementation of Functional Programming Languages (context) - Jones - 1987
236 Categories for the Working Mathematician (context) - MacLane - 1971
232 Category Theory for Computing Science (context) - Barr, Wells - 1990
147 abstraction and parametric polymorphism (context) - Reynolds - 1983
138 Abstract Interpretation of Declarative Languages (context) - Abramsky, Hankin - 1987
28 Strictness analysis and polymorphic invariance (context) - Abramsky - 1986
23 Abstract Interpretation and the Parallel Evaluation of Funct.. (context) - Burn - 1987
21 logical relations and Kan extensions (context) - Abramsky - 1990
21 Functorial polymorphism (context) - Bainbridge, Freyd et al. - 1990
19 The theory and practice of strictness analysis for higher or.. (context) - Burn, Hankin et al. - 1986
7 Abstract interpretation of first--order polymorphic function.. (context) - Hughes - 1988
5 Structural polymorphism (context) - Freyd - 1989
1 Technical Report SAI-RM (context) - Plotkin, logical - 1973
1 Draft paper (context) - Abramsky, Mitchell et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.irisa.fr/lande/jensen/JENSENpapers.html): More
Clock Analysis of Synchronous Dataflow Programs - Jensen (1995) (Correct)
Flow Analysis in the Geometry of Interaction - Jensen, Mackie (1996) (Correct)
Strictness Analysis in Logical Form - Jensen (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC