Type and effect systems (1999)

by Flemming Nielson , Hanne Riis Nielson
Venue:ACM Computing Surveys
Citations:38 - 0 self

Active Bibliography

2 Analyse Statique De Programmes : Fondements Et Applications – Thomas Jensen, M. Jean-pierre, Bantre Prsident, Mm Nicolas, Neil Jones, Giorgio Levi, Mm Charles, Consel Examinateurs, Daniel Le Mtayer, T. Jensen - 1999
2 Polymorphic subtyping for effect analysis: The static semantics – Hanne Riis Nielson, Flemming Nielson, Torben Amtoft - 1997
1 Polymorphic Subtyping for Effect Analysis: the Algorithm – H.R. Nielson, T. Amtoft - 1996
14 Minimal Typings in Atomic Subtyping – Jakob Rehof - 1996
1 A Polymorphic Type and Effect System for Detecting Mobile Functions – Z. Dilsun Kirli - 1999
4 Lazy Type Inference for the Strictness Analysis of Lists – Chris Hankin, Daniel Le Métayer - 1994
10 A Type-based Framework for Program Analysis – Chris Hankin, Daniel Le M'etayer - 1994
7 A Logical Framework for Program Analysis – Geoffrey Burn - 1992
9 Flow Logics for Constraint Based Analysis – Hanne Riis Nielson, Flemming Nielson - 1998
13 Constraint abstractions – Henrik Gustavsson - 2001
52 Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-Reachability. – Jakob Rehof, Manuel Fähndrich - 2001
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
2 Separate Polyvariant Binding Time Reconstruction – Charles Consel, Pierre Jouvelot, Peter Ørbæk - 1994
4 Polymorphic Subtyping in O'Haskell – Johan Nordlander - 2001
3 From Polymorphic Subtyping to CFL Reachability: Context-Sensitive Flow Analysis Using Instantiation Constraints – Manuel Fähndrich, Jakob Rehof, Manuvir Das - 1999
Compiling Curried Functional Languages . . . – Jason Smith - 2004
12 Pragmatic Subtyping in Polymorphic Languages – Johan Nordlander - 1997
18 Systematic Realisation of Control Flow Analyses for CML – Kirsten L. Solberg Gasser, Flemming Nielson, Hanne Riis Nielson - 1997
Mobile Functions and Secure Information Flow – Dilsun Kirli