Filters








77,831 Hits in 4.2 sec

Objective ML: An effective object-oriented extension to ML

Didier R�my, J�r�me Vouillon
<span title="">1998</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/no7m6p4eqvehdgxbzq4d4ey4me" style="color: black;">Theory and Practice of Object Systems</a> </i> &nbsp;
Objective ML is a small practical extension to ML with objects and top level classes.  ...  Objective ML allows for most features of object-oriented languages including multiple inheritance, methods returning self and binary methods as well as parametric classes.  ...  Introduction We propose a simple extension to ML with class-based objects. Objective ML is a fully conservative extension to ML. A beginner may ignore the object extension.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/(sici)1096-9942(1998)4:1&lt;27::aid-tapo3&gt;3.0.co;2-4">doi:10.1002/(sici)1096-9942(1998)4:1&lt;27::aid-tapo3&gt;3.0.co;2-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dzll5rxidzhptdub4z3ko6wi5u">fatcat:dzll5rxidzhptdub4z3ko6wi5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160927101633/http://gallium.inria.fr/~remy/ftp/objective-ml!tapos98.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6c/74/6c748d886fb2a9c822db78cebd37d6a6c209ec83.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/(sici)1096-9942(1998)4:1&lt;27::aid-tapo3&gt;3.0.co;2-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Should ML be Object-Oriented?

David MacQueen
<span title="">2002</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oeimezgcfbas7drzmyhogjmlb4" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
object-oriented features to ML as a base language.  ...  We argue that while some of the simpler aspects of object-oriented languages are compatible with ML, adding a full-fledged class-based object system to ML leads to an excessively complex type system and  ...  Object ML Reppy and Riecke proposed a set of extensions in two papers [ReR96a, ReR96b] on Object ML (OML for short). OML adds subtyping based on a declared hierarchy of object types.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s001650200010">doi:10.1007/s001650200010</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ksfyslgzrfhcfd6viuxiym2nsa">fatcat:ksfyslgzrfhcfd6viuxiym2nsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809005212/http://www.uio.no/studier/emner/matnat/ifi/INF3110/h09/undervisningsmateriale/ShouldMLbeOO.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/87/97/8797ab2282d69aec2e1591a808854ac2f8afa459.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s001650200010"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Programming objects with ML-ART an extension to ML with abstract and record types [chapter]

Didier Rémy
<span title="">1994</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Class-based objects can be programmed directly and eciently in a simple extension to ML.  ...  The language ML-ART is given with a call-by-value semantics for which type soundness is proved. We concur with the claim that object-oriented programming is essentially a matter of style.  ...  This work evolved during a two-month visit to Bell Labs, through seminar discussions on objects. An earliest version of objects was also written during this visit.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57887-0_102">doi:10.1007/3-540-57887-0_102</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cklenoqdbjhedevv4udcwuufaa">fatcat:cklenoqdbjhedevv4udcwuufaa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150910170729/http://gallium.inria.fr/~remy/ftp/tacs94.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6a/42/6a424575907fa91582d830a23696ec7a29d0bc2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57887-0_102"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Reflections on standard ML [chapter]

David B. MacQueen
<span title="">1993</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming.  ...  Because of its type and module system, Standard ML manages to combine safety, security, a n d robustness with much of the exibility of dynamically typed languages like Lisp.  ...  Extensible datatypes can perform some of the functions that type dynamic might be used for. ML and Object Oriented Programming A common question these days is \Is ML an object-oriented language?"  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-56883-2_2">doi:10.1007/3-540-56883-2_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lu6gh4a72baf7du6t4xohl6ire">fatcat:lu6gh4a72baf7du6t4xohl6ire</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060910194156/http://people.cs.vt.edu/~haebang/coursework/PL/reflection.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d5/56/d556643340f87fe464dc56ebf05b9c216b949aa6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-56883-2_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

SLO-ML: A Language for Service Level Objective Modelling in Multi-cloud Applications

Abdessalam Elhabbash, Assylbek Jumagaliyev, Gordon S. Blair, Yehia Elkhatib
<span title="">2019</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a3nli3qstregrmoic2abmnu3ea" style="color: black;">Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing - UCC&#39;19</a> </i> &nbsp;
While many CMLs have been proposed in the literature, they lack practical support for automating the selection of services based on the specific service level objectives of a customer's application.  ...  We present the architectural design of SLO-ML and the associated broker that realises the deployment operations. We rigorously evaluate SLO-ML using a mixed methods approach.  ...  For example, the response time of a three-tier application consists of processing time for each layers. (6) Extensibility. Extending capability should be simple.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3344341.3368805">doi:10.1145/3344341.3368805</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ucc/ElhabbashJBE19.html">dblp:conf/ucc/ElhabbashJBE19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/enqkhhfgurbh3g2gcveab7lfpa">fatcat:enqkhhfgurbh3g2gcveab7lfpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200508002905/https://eprints.lancs.ac.uk/id/eprint/138559/1/Elhabbash2019sloml.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b8/ec/b8ec05d97c2f68a4d8b71bf59431e9480cd9293c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3344341.3368805"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

InferLine: ML Prediction Pipeline Provisioning and Management for Tight Latency Objectives [article]

Daniel Crankshaw, Gur-Eyal Sela, Corey Zumar, Xiangxi Mo, Joseph E. Gonzalez, Ion Stoica, Alexey Tumanov
<span title="2020-08-03">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Serving ML prediction pipelines spanning multiple models and hardware accelerators is a key challenge in production machine learning.  ...  InferLine consists of a low-frequency combinatorial planner and a high-frequency auto-scaling tuner.  ...  InferLine runs on top of any prediction serving system that meets a few simple requirements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1812.01776v2">arXiv:1812.01776v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kmnfgv5byffepdkxwhy5ektosi">fatcat:kmnfgv5byffepdkxwhy5ektosi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200812043147/https://arxiv.org/pdf/1812.01776v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1812.01776v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Efficient parallel programming in Poly/ML and Isabelle/ML

David C.J. Matthews, Makarius Wenzel
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming - DAMP &#39;10</a> </i> &nbsp;
Faced with the requirement to deliver a stable and efficient parallel programming environment, many infrastructure layers had to be reworked: from low-level system threads to high-level principles of value-oriented  ...  At each stage we carefully selected from the many existing concepts for parallelism, and integrated them in a way that fits smoothly into the idea of purely functional ML with the addition of synchronous  ...  Scala [21] is a very interesting language that unifies higherorder functional and object-oriented programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1708046.1708058">doi:10.1145/1708046.1708058</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/MatthewsW10.html">dblp:conf/popl/MatthewsW10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zh2fs6336rds7bkc4jomwfznpq">fatcat:zh2fs6336rds7bkc4jomwfznpq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160914204452/http://www4.in.tum.de/~wenzelm/papers/parallel-ml.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9f/a1/9fa11f0f9e3dbdef34f5d371d67f6e1ceb56ec78.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1708046.1708058"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Multi-View ML Object Tracking With Online Learning on Riemannian Manifolds by Combining Geometric Constraints

Yixiao Yun, Irene Yu-Hua Gu, Hamid Aghajan
<span title="">2013</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cuk7yvxow5gknlxza65us4b7fi" style="color: black;">IEEE Journal on Emerging and Selected Topics in Circuits and Systems</a> </i> &nbsp;
The main novelties of the paper include: 1) define a similarity measure, based on geodesics between a candidate object and a set of mapped references from multiple views on a Riemannian manifold; 2) propose  ...  A method for online learning of object appearances on Riemannian manifolds is also introduced.  ...  Multi-View ML Estimation of Object Position Before applying the ML criterion, a reference model , containing all individual mapped views, is formed.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jetcas.2013.2256814">doi:10.1109/jetcas.2013.2256814</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wjizeofitbepxp24alhrhmiclu">fatcat:wjizeofitbepxp24alhrhmiclu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150919063157/http://wsnl.stanford.edu/papers/JETCAS_YunGuAghajan_PublishedVersion.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d0/c2/d0c243924bd3e738a8fd410c35e01b8beb578f1d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jetcas.2013.2256814"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

From OBJ to ML to Coq [chapter]

Jacek Chrząszcz, Jean-Pierre Jouannaud
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Acknowledgments: We thank Andrzej Gąsienica-Samek and Tomasz Stachowicz for their help with the Coq development, Pierre-Yves Strub for checking preliminary versions of the OBJ development in Maude, and  ...  We will not say more about object orientation, although OCaml, a dialect of ML, played an important role in popularizing object orientation among the community of functional programmers.  ...  An ML program is a collection of modules. A module is either a structure, which corresponds to an OBJ non-parametric object, or a functor which corresponds to a parametric object.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11780274_12">doi:10.1007/11780274_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dxchtgs47jhydowmm6imlzvu7a">fatcat:dxchtgs47jhydowmm6imlzvu7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080418234721/http://www.mimuw.edu.pl/~chrzaszcz/papers/Chrzaszcz-Jouannaud_From-OBJ-to-ML-to-Coq.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/db/35/db35cb2204195da30c8a366689ddb25d27c05de1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11780274_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Status report

David Herman, Cormac Flanagan
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/z7f5ipwhs5gvbbyi4yibuzeqru" style="color: black;">Proceedings of the 2007 workshop on Workshop on ML - ML &#39;07</a> </i> &nbsp;
We describe the design and specification of JavaScript and our experience so far using Standard ML for this purpose.  ...  The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applications.  ...  This work was partially supported by a Sloan Fellowship and a grant from the Mozilla Corporation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1292535.1292543">doi:10.1145/1292535.1292543</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ml/HermanF07.html">dblp:conf/ml/HermanF07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pooxia3yxna4vpp6ubli5x5zt4">fatcat:pooxia3yxna4vpp6ubli5x5zt4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20101116223500/http://www.ccs.northeastern.edu/home/dherman/research/papers/ml07-javascript.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b2/55/b255ba55fbbc177b91c8d7a89ad787e2a830b830.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1292535.1292543"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Compiling standard ML to Java bytecodes

Nick Benton, Andrew Kennedy, George Russell
<span title="1999-01-01">1999</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
, using a 'just in time' compiling Java virtual machine, usually exceeds that of existing specialised bytecode interpreters for ML.  ...  Its features include type-checked interlanguage working extensions which allow ML and Java code to call each other, automatic recompilation management, compact compiled code and runtime performance which  ...  This makes it easy to convert existing Java programs or code fragments into MLJ hut is not intended to make MLJ a fully-fledged object-oriented extension of SML; in particular, inheritance does not induce  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/291251.289435">doi:10.1145/291251.289435</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l46bs46lynhyrgwwxzjquteume">fatcat:l46bs46lynhyrgwwxzjquteume</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922012645/http://www.cin.ufpe.br/~haskell/papers/Compiling_Standard_ML_to_Java_bytecodes-Benton%26Kennedy%26Russel.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3f/45/3f457526c1dad0d155bfbb3bb72d782ae2f11a78.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/291251.289435"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Compiling standard ML to Java bytecodes

Nick Benton, Andrew Kennedy, George Russell
<span title="">1998</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP &#39;98</a> </i> &nbsp;
, using a 'just in time' compiling Java virtual machine, usually exceeds that of existing specialised bytecode interpreters for ML.  ...  Its features include type-checked interlanguage working extensions which allow ML and Java code to call each other, automatic recompilation management, compact compiled code and runtime performance which  ...  This makes it easy to convert existing Java programs or code fragments into MLJ hut is not intended to make MLJ a fully-fledged object-oriented extension of SML; in particular, inheritance does not induce  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/289423.289435">doi:10.1145/289423.289435</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/BentonKR98.html">dblp:conf/icfp/BentonKR98</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ch6jhc4iaje6xiv6enmlfisggm">fatcat:ch6jhc4iaje6xiv6enmlfisggm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922012645/http://www.cin.ufpe.br/~haskell/papers/Compiling_Standard_ML_to_Java_bytecodes-Benton%26Kennedy%26Russel.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3f/45/3f457526c1dad0d155bfbb3bb72d782ae2f11a78.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/289423.289435"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A standard ML compiler [chapter]

Andrew W. Appel, David B. MacQueen
<span title="">1987</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Standard ML is a major revision of earlier dialects of the functional language ML. We describe the first compiler written for Standard ML in Standard ML.  ...  Great attention was paid to modularity in the construction of the compiler, leading to a successful large-scale test of the modular capabilities of Standard ML.  ...  In 1983 a group of interested parties began work on an extensive revision of the language design that lead to Standard ML [3-61.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-18317-5_17">doi:10.1007/3-540-18317-5_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ywkkpnt3zfh2zcferfwguabbla">fatcat:ywkkpnt3zfh2zcferfwguabbla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725225452/https://link.springer.com/content/pdf/10.1007%2F3-540-18317-5_17.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/8d/f58dfcbe175a82f49704564c521b9a1bf75d2ab6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-18317-5_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Mixin' up the ML module system

Derek Dreyer, Andreas Rossberg
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP &#39;08</a> </i> &nbsp;
Moreover, the design of MixML is clean and minimalist; it emphasizes how all the salient, semantically interesting features of the ML module system (as well as several proposed extensions to it) can be  ...  A MixML module is like an ML structure in which some of the components are specified but not defined. In other words, it unifies the ML structure and signature languages into one.  ...  We believe that our design already provides a fairly complete basis for a practical module system, and we are currently investigating how we might deploy it in a realistic ML compiler.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1411204.1411248">doi:10.1145/1411204.1411248</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/DreyerR08.html">dblp:conf/icfp/DreyerR08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/if4vxlavnnatdlufn4qlpjw46i">fatcat:if4vxlavnnatdlufn4qlpjw46i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809123211/https://people.mpi-sws.org/~rossberg/papers/Dreyer,%20Rossberg%20-%20Mixin&#39;%20Up%20the%20ML%20Module%20System.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2f/25/2f256ac6ca744ec9fb5d3482aec6134ceeb6cc7e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1411204.1411248"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Extending ML with semi-explicit higher-order polymorphism [chapter]

Jacques Garrigue, Didier Rémy
<span title="">1997</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We propose a modest conservative extension to ML that allows semi-explicit higher-order polymorphism while preserving the essential properties of ML.  ...  This extension is particularly useful in Objective ML where polymorphism replaces subtyping.  ...  The examples of objects and classes given below are rather intuitive, and could be translated in other class-based object-oriented languages; the reader may refer to 15] for a formal presentation of Objective  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0014546">doi:10.1007/bfb0014546</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d4ituiy3z5grjft5eglacmo7wq">fatcat:d4ituiy3z5grjft5eglacmo7wq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150910123319/http://gallium.inria.fr/~remy/ftp/tacs97.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/67/df/67df8d3368bb75d0f8d54d282178c94fcd8ec3cd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0014546"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 77,831 results