Filters








119,765 Hits in 5.0 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;
side effects, it is closer to object-oriented languages than a pure, call-by-need functional language, and (3) we have an interest in the future evolution of the ML family starting from Standard ML.  ...  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  ...  A general question we should ask about an object system in a functional language like ML is how extensively it would be used.  ... 
<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>

Spectral Properties of Near-Earth Objects: Palomar and IRTF Results for 48 Objects Including Spacecraft Targets (9969) Braille and (10302) 1989 ML

R Binzel
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hxnvmqc6fbf6vfudkrsw7ucuwu" style="color: black;">Icarus (New York, N.Y. 1962)</a> </i> &nbsp;
The Kclass object 1999 JD6 is found to match CV chondrite meteorites.  ...  Our sampling strategy favors targeting the smallest observable objects and we report results for the 15-m diameter object 1998 BT13, the smallest spectroscopically measured NEO to date.  ...  The authors also acknowledge their being Guest Observers at the Infrared Telescope Facility, operated by the University of Hawai'i under contract to the National Aeronautics and Space Administration.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/icar.2001.6613">doi:10.1006/icar.2001.6613</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rkv2rdm7kbhehnnwidwkz5ntza">fatcat:rkv2rdm7kbhehnnwidwkz5ntza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308000307/http://pdfs.semanticscholar.org/df0a/a895b5ddf42ca4a8645c732674b6f3596227.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/df/0a/df0aa895b5ddf42ca4a8645c732674b6f3596227.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/icar.2001.6613"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.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.  ...  The high-frequency tuner uses network calculus to auto-scale each stage to meet tail latency goals in response to changes in the query arrival process.  ...  In contrast, InferLine exploits the computeintensive and side-effect free nature of ML models to estimate end-to-end pipeline performance based on individual model profiles.  ... 
<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>

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;
We put forward SLO-ML, a novel and generative CML to capture service level requirements and, subsequently, to select the services to honour customer requirements and generate the deployment code appropriate  ...  We also assess overheads through an exhaustive set of empirical scalability tests.  ...  Design principles The design of SLO-ML is based on the following principles: (1) Customer-oriented.  ... 
<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>

SLAM in Dynamic Environments: A Deep Learning Approach for Moving Object Tracking Using ML-RANSAC Algorithm

Masoud S. Bahraini, Ahmad B. Rad, Mohammad Bozorg
<span title="2019-08-26">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
We also apply machine learning to detect features from the input data and to distinguish moving from stationary objects.  ...  The data stream from LIDAR and vision sensors are fused in real-time to detect objects and depth information.  ...  We need an extensive amount of labeled data to train a CNN, which is difficult to achieve for a special object. Additionally, deep learning needs extensive computational resources to perform well.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s19173699">doi:10.3390/s19173699</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n5zw23lvlbcahdezzx77m3rqra">fatcat:n5zw23lvlbcahdezzx77m3rqra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200307013909/https://openaccess.city.ac.uk/id/eprint/23165/1/sensors-19-03699.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/75/c9/75c9d8995ba17fae1f0b8327c8edb1c594f84aca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s19173699"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </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  ...  The present implementation is able to address more than 8 cores effectively, while the earlier version of the official Isabelle2009 release works best for 2-4 cores.  ...  The ML stack is an object within the ML heap and can be scanned and updated by the garbage-collector.  ... 
<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;
Results have shown the effectiveness of the proposed method in terms of robustness against tracking drift caused by occlusions.  ...  We propose a novel method where tracking is first done independently in each individual view and then tracking results are mapped from different views to improve the tracking jointly.  ...  Region Covariances as Object Descriptors A region covariance matrix [18] enables an effective description of object features, and is shown to be robust and versatile to variations in illuminations, views  ... 
<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>

Unsolved Problems in ML Safety [article]

Dan Hendrycks and Nicholas Carlini and John Schulman and Jacob Steinhardt
<span title="2022-04-29">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In response to emerging safety challenges in ML, such as those introduced by recent large-scale models, we provide a new roadmap for ML Safety and refine the technical problems that the field needs to  ...  As with other powerful technologies, safety for ML should be a leading research priority.  ...  DH is supported by the NSF GRFP Fellowship and an Open Philanthropy Project AI Fellowship.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2109.13916v4">arXiv:2109.13916v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5jq5qxxi3nfuvhboaehhekybfi">fatcat:5jq5qxxi3nfuvhboaehhekybfi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220503110248/https://arxiv.org/pdf/2109.13916v4.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/28/da/28da0a6debe855c59578bacfd460c34004a8ad2b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2109.13916v4" 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>

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;
This "definitional interpreter" serves many purposes: a high-level and readable specification language, an executable and testable specification, a reference implementation, and an aid in driving the design  ...  We describe the design and specification of JavaScript and our experience so far using Standard ML for this purpose.  ...  Acknowledgements: We would like to thank Lars Hansen, Brendan Eich, and the anonymous reviewers for valuable feedback on this paper.  ... 
<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>

An extension of standard ML modules with subtyping and inheritance

John Mitchell, Sigurd Meldal, Neel Madhav
<span title="">1991</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;91</a> </i> &nbsp;
The framework is based on the Standard ML module system, with three main extensions: subtyping, a form of object derived from ML structures, and inheritance primitives.  ...  We describe a general module language integrating abstract data types, specifications and object-oriented concepts.  ...  We are grateful to members of this team for discussion, guidance and feedback. We also thank Dinesh Katiyar for a number of helpful discussions and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/99583.99620">doi:10.1145/99583.99620</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/MitchellMM91.html">dblp:conf/popl/MitchellMM91</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3cp2fljfijd4zmjwushwxelccu">fatcat:3cp2fljfijd4zmjwushwxelccu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20030526043018/http://www-2.cs.cmu.edu:80/~rwh/courses/modules/papers/mitchell-etal91/paper.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/4d/c7/4dc7371b4088976a9983d0a838ea782f6297b5c4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/99583.99620"> <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;
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  ...  , using a 'just in time' compiling Java virtual machine, usually exceeds that of existing specialised bytecode interpreters for ML.  ...  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;
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  ...  , using a 'just in time' compiling Java virtual machine, usually exceeds that of existing specialised bytecode interpreters for ML.  ...  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 critique of Standard ML

Andrew W. Appel
<span title="">1993</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
AbstractStandard ML is an excellent language for many kinds of programming. It is safe, efficient, suitably abstract, and concise.  ...  There are many aspects of the language that work well.However, nothing is perfect: Standard ML has a few shortcomings.  ...  Acknowledgment I would like to thank Doug McIlroy and an anonymous referee for many valuable comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796800000836">doi:10.1017/s0956796800000836</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cfb7p7mqlrgh7clysq6uth64ee">fatcat:cfb7p7mqlrgh7clysq6uth64ee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150317032457/http://www.cs.princeton.edu/~appel/papers/critique.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/82/f2/82f26c2d9944ad9a335f2eb618369d2278186764.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796800000836"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </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.  ...  To further expand its utility, though, we are interested in extending it with support for first-class units (e.g., in the style of Dreyer et al.'  ... 
<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>
&laquo; Previous Showing results 1 &mdash; 15 out of 119,765 results