A Typed Intermediate Language for Flow-Directed Compilation (1997)

by J. B. Wells , Allyn Dimock , Robert Muller , Franklyn Turbak
Citations:22 - 13 self

Documents Related by Co-Citation

54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
28 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
73 A Unified Treatment of Flow Analysis in Higher-Order Languages – Suresh Jagannathan, Stephen Weeks - 1995
14 Control Flow Analysis of Higher Order Languages – O Shivers - 1991
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997
50 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
41 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
327 Foundations of Programming Languages – J C Mitchell - 1996
102 Compiling with Types – Greg Morrisett - 1995
50 The cartesian product algorithm – O Agesen - 1995
65 Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis – Flemming Nielson, Hanne Riis Nielson - 1997
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
16 Type-Directed Flow Analysis for Typed Intermediate Languages – Suresh Jagannathan, Stephen Weeks, Andrew Wright - 1997
111 Design of the Programming Language Forsythe – John C. Reynolds - 1996
40 Henk: A Typed Intermediate Language – Simon Peyton Jones, Erik Meijer - 1997