A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)
John C. Mitchell · 1986
Article Free Access Share on A type-inference approach to reduction properties and semantics of polymorphic expressions (summary) Author: John C. Mitchell AT&T Bell Laboratories, Murray Hill, New Jersey AT&T Bell Laboratories, Murray Hill, New JerseyView Profile Authors Info & Claims LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programmingAugust 1986 Pages 308–319https://doi.org/10.1145/319838.319872Published:08 August 1986Publication History 20citation242DownloadsMetricsTotal Citations20Total Downloads242Last 12 Months14Last 6 weeks2 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