1986 · 160 citations · 6 references
Natural Language ProcessingMini-ml AuthorsLanguage DocumentationMachine LearningEngineeringDominique Clément SemaAutomated ReasoningFranceview ProfileComputer ScienceSymbolic Machine LearningLanguage StudiesSimple Applicative LanguageLinguisticsComputational SemanticsMachine Translation
Article Free Access Share on A simple applicative language: mini-ML Authors: Dominique Clément SEMA, Sophia-Antipolis SEMA, Sophia-AntipolisView Profile , Thierry Despeyroux INRIA, Sophia-Antipolis, Route des Lucioles, 06565 Valbonne Cedex, France INRIA, Sophia-Antipolis, Route des Lucioles, 06565 Valbonne Cedex, FranceView Profile , Gilles Kahn View Profile , Joëlle Despeyroux View Profile Authors Info & Claims LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programmingAugust 1986 Pages 13–27https://doi.org/10.1145/319838.319847Published:08 August 1986Publication History 93citation1,014DownloadsMetricsTotal Citations93Total Downloads1,014Last 12 Months126Last 6 weeks32 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
6
Principal type-schemes for functional programs
Robin Milner · 1982 · 1.1K citations
Mathematical Programming, Principal Type-schemes, Engineering +12
David MacQueen · 1984 · 268 citations · Full text
Logic programming and compiler writing
David H. Warren · Software Practice and Experience · 1980 · 123 citations
Patrick J. Hayes · Mathematical Foundations of Computer Science · 1973 · 116 citations