Hanne Riis Nielson, Flemming Nielson, Torben Amtoft  Home/Search
Context Related
| daimi.aau.dk/~tamtoft/P...LOMAPS14.ps.Z 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: daimi.aau.dk/~tamtoft/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The integration of polymorphism (in the style of the ML let-construct), subtyping, and effects (modelling assignment or communication) into one common type system has proved remarkably difficult. One line of research has succeeded in integrating polymorphism and subtyping; adding effects in a straight-forward way results in a semantically unsound system. Another line of research has succeeded in integrating polymorphism, effects, and subeffecting; adding subtyping in a straight-forward way... (Update)
Context of citations to this paper: More
.... pennies m2.pennies) ensures result = null result.pennies = this.pennies m2.pennies; example this.pennies = 300 m2.pennies = 400 result.pennies = 700; public Money minus(Money m2) behavior requires m2 = null inRange(...
.... We are excluding the possibility of side effects by limiting the syntax of predicates, and by using type checking [GL86, Luc87, LG88, NNA97, TJ94, Wri92] to make sure that only pure methods may be called in predicates. Exceptions in expressions are particularly important, since...
Cited by: More
Preliminary Design of JML: A Behavioral Interface.. - Leavens, Baker, Ruby (1999) (Correct)
The Marriage of Effects and Monads - Wadler, Thiemann (1998) (Correct)
Similar documents (at the sentence level):
51.4%: Polymorphic Subtyping for Effect Analysis: the Integration - Nielson, Nielson, Amtoft (1996) (Correct)
8.1%: Analysis and Verification of Multiple-Agent Languages - Fifth.. - Dam, (eds.) (1996) (Correct)
7.2%: Polymorphic Subtyping for Effect Analysis: the Dynamic.. - Amtoft, Nielson.. (Correct)
Active bibliography (related documents): More All
2.5: Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (1997) (Correct)
2.3: Polymorphic Subtyping for Effect Analysis: the Algorithm - Nielson, Nielson, Amtoft (1997) (Correct)
0.5: Static and Dynamic Processor Allocation for Higher-Order.. - Nielson, Nielson (1995) (Correct)
Similar documents based on text: More All
0.7: Type and Behaviour Reconstruction for Higher-Order.. - Amtoft, Nielson, Nielson (1995) (Correct)
0.7: Annotated Type Systems for Program Analysis - Solberg (1995) (Correct)
0.5: Behaviour Analysis for Validating Communication Patterns - Amtoft, Nielson, Nielson (1998) (Correct)
Related documents from co-citation: More All
4: Object-Oriented Specification Case Studies (context) - Lano, Haughton - 1994
4: Interface language for supporting programming styles (context) - Tan - 1994
4: ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
BibTeX entry: (Update)
H. R. Nielson, F. Nielson, and T. Amtoft. Polymorphic subtyping for effect analysis: The static semantics. In M. Dam, editor, Proceedings of the Fifth LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science. Springer-Verlag, 1997. http://citeseer.ist.psu.edu/article/nielson97polymorphic.html More
@inproceedings{ nielson96polymorphic,
author = "Hanne Riis Nielson and Flemming Nielson and Torben Amtoft",
title = "Polymorphic Subtyping for Effect Analysis: The Static Semantics",
booktitle = "Logical and Operational Methods in the Analysis of Programs and Systems",
pages = "141--171",
year = "1996",
url = "citeseer.ist.psu.edu/article/nielson97polymorphic.html" }
Citations (may not include all citations):138 Type inference for polymorphic references (context) - Tofte - 1990
47 Information and Computation (context) - Talpin, Jouvelot et al. - 1994
22 ACM Transactions on Programming Languages and Systems (context) - Henglein, with et al. - 1993
21 application and semantics (context) - Reppy, ML - 1993
13 Milner: Principal type-schemes for functional programs (context) - Damas - 1982
10 Nielson: Higher-order concurrent programs with finite commun.. (context) - Nielson - 1994
7 Nielson: Constraints for polymorphic behaviours for Concurre.. (context) - Nielson - 1994
7 Mossin: Polymorphic binding-time analysis (context) - Henglein - 1994
6 Journal of Computer Systems (context) - Milner, of et al. - 1978
4 Birkedal: Region-annotated types and type schemes (context) - Tofte - 1996
4 Weis: Polymorphic type inference and assignment (context) - Leroy - 1991
4 Reppy: The essence of Concurrent ML (context) - Panangaden - 1996
4 Mishra: Polymorphic subtype inference: closing the theorypra.. (context) - Fuh - 1989
4 Mishra: Type inference with subtypes (context) - Fuh - 1990
4 Journal of Functional Programming (context) - Mitchell, with et al. - 1991
3 Nielson: Type and behaviour reconstruction for higher-order .. (context) - Amtoft, Nielson - 1997
2 Ammann: Polymorphic subtypes for e#ect analysis: the dynamic.. (context) - Amtoft, Nielson et al. - 1997
1 Nielson: Automatic binding analysis for a typed #-calculus (context) - Nielson - 1988
1 Amtoft: Polymorphic subtypes for e#ect analysis: the algorit.. (context) - Nielson, Nielson - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.daimi.aau.dk/~tamtoft/papers.html): More
Behaviour Analysis and Safety Conditions: a Case Study in CML - Nielson, Amtoft, Nielson (Correct)
Properties of Unfolding-based Meta-level Systems - Amtoft (1991) (Correct)
Strictness Types: An Inference Algorithm and an Application - Amtoft (1993) (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