Using abstract interpretation to define a strictness type inference system
Bruno Monsuez · 1995
Article Free Access Share on Using abstract interpretation to define a strictness type inference system Author: B. Monsuez Laboratoire d'Informatique de l'École Normale Supérieure, CNRS URA 1327, 45 rue d'Ulm 75005 Paris Laboratoire d'Informatique de l'École Normale Supérieure, CNRS URA 1327, 45 rue d'Ulm 75005 ParisView Profile Authors Info & Claims PEPM '95: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulationJune 1995 Pages 122–133https://doi.org/10.1145/215465.215574Online:23 June 1995Publication History 4citation172DownloadsMetricsTotal Citations4Total Downloads172Last 12 Months6Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF