BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
ml
Google ml

Tag #ml

174 papers:

PADLPADL-2020-ElsmanH #garbage collection #memory management #on the
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML (ME, NH), pp. 95–112.
MSRMSR-2019-BangashSCWHA #case study #developer #machine learning #stack overflow #what
What do developers know about machine learning: a study of ML discussions on StackOverflow (AAB, HS, SAC, AWW, AH, KA0), pp. 260–264.
FMFM-2019-ChargueraudFLP #specification
GOSPEL - Providing OCaml with a Formal Specification Language (AC, JCF, CL, MP), pp. 484–501.
KDDKDD-2019-AhmedABCCDDEFFG #machine learning
Machine Learning at Microsoft with ML.NET (ZA, SA, MB, RC, WSC, YD, XD, VE, SF, TF, AG, MH, SI, MI, NK, GK, PL, IM, SM, SM, GN, JO, GO, AP, JP, PR, MZS, MW, SZ, YZ), pp. 2448–2458.
KDDKDD-2019-KatsiapisH #towards
Towards ML Engineering with TensorFlow Extended (TFX) (KK, KH), p. 3182.
KDDKDD-2019-Sawaf
Applications of AI/ML in Established and New Industries (HS), p. 3168.
KDDKDD-2019-Thondikulam #approach #scalability
Analytics Journey Map: An Approach Enable to ML at Scale (GT), p. 3167.
PLDIPLDI-2019-RoweFTO #implementation
Characterising renaming within OCaml's module system: theory and implementation (RNSR, HF, SJT, SO), pp. 950–965.
ESEC-FSEESEC-FSE-2019-BarashFJRTZ #feature model #interactive #requirements #using
Bridging the gap between ML solutions and their business requirements using feature interactions (GB, EF, IJ, OR, RTB, MZ), pp. 1048–1058.
IFM-2018-BoermanHJ #difference #reasoning
Reasoning About JML: Differences Between KeY and OpenJML (JB, MH, SJCJ), pp. 30–46.
ICFP-2018-BourRS #case study #experience #named
Merlin: a language server for OCaml (experience report) (FB, TR, GS), p. 15.
PEPMPEPM-2018-WatanabeK #generative
Program generation for ML modules (short paper) (TW, YK), pp. 60–66.
POPLPOPL-2018-WilliamsR #approach
A principled approach to ornamentation in ML (TW, DR), p. 30.
FSCDFSCD-2017-LichtmanH #array
Arrays and References in Resource Aware ML (BL, JH0), p. 20.
ICFP-2017-CanouCH #education #functional #programming #scalability
Scaling up functional programming education: under the hood of the OCaml MOOC (BC, RDC, GH), p. 25.
POPLPOPL-2017-HoffmannDW #analysis #automation #bound #towards
Towards automatic resource bound analysis for OCaml (JH0, AD, SCW), pp. 359–373.
PPDPPPDP-2017-LaforgueR #metaprogramming #pattern matching
Copattern matching and first-class observations in OCaml, with a macro (PL, YRG), pp. 97–108.
ESOPESOP-2017-Cotton-BarrattM #branch
ML and Extended Branching VASS (CCB, ASM, CHLO), pp. 314–340.
KDDKDD-2016-Papadopoulos
A VC View of Investing in ML (GP), p. 9.
ICFPICFP-2015-Rossberg #named
1ML — core and modules united (F-ing first-class modules) (AR), pp. 35–47.
PADLPADL-2015-VaugonWC #programming
Programming Microcontrollers in OCaml: The OCaPIC Project (BV, PW, EC), pp. 132–148.
PPDPPPDP-2015-MandelPP #years after
ReactiveML, ten years later (LM, CP, MP), pp. 6–17.
FoSSaCSFoSSaCS-2015-Cotton-BarrattH #automaton #decidability #memory management
Fragments of ML Decidable by Nested Data Class Memory Automata (CCB, DH, ASM, CHLO), pp. 249–263.
POPLPOPL-2014-KumarMNO #implementation #named
CakeML: a verified implementation of ML (RK, MOM, MN, SO), pp. 179–192.
SASSAS-2014-MandelP
Reactivity of Cooperative Systems — Application to ReactiveML (LM, CP), pp. 219–236.
CCCC-2014-SulzmannS #flexibility #performance #regular expression
A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching (MS, PvS), pp. 174–191.
VMCAIVMCAI-2013-ZhuJ #composition #dependent type #lightweight #type inference
Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.
SEFMSEFM-2012-AyraultBDP #analysis #dependence
ML Dependency Analysis for Assessors (PA, VB, CD, FP), pp. 278–292.
ICFPICFP-2012-MyreenO #higher-order #logic #synthesis
Proof-producing synthesis of ML from higher-order logic (MOM, SO), pp. 115–126.
IFLIFL-2012-Clerc #java #named
OCaml-Java: From OCaml Sources to Java Bytecodes (XC), pp. 71–85.
ICEISICEIS-v2-2012-HanadaOKM #java #ocl #uml
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
SACSAC-2012-CatanoWRRY #specification
Translating B machines to JML specifications (NC, TW, CR, VR, DY), pp. 1271–1277.
CAVCAV-2012-0002AH
Resource Aware ML (JH, KA, MH), pp. 781–786.
CAVCAV-2012-HopkinsMO #equivalence #higher-order #named
Hector: An Equivalence Checker for a Higher-Order Fragment of ML (DH, ASM, CHLO), pp. 774–780.
CSLCSL-2012-ChrzaszczS #complexity
ML with PTIME complexity guarantees (JC, AS), pp. 198–212.
ICALPICALP-v2-2011-HopkinsMO #automaton #decidability
A Fragment of ML Decidable by Visibly Pushdown Automata (DH, ASM, CHLO), pp. 149–161.
ICFPICFP-2011-ChyzakD #generative #runtime #using #web
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
ICFPICFP-2011-OhoriU #database #programming language #standard
Making standard ML a practical database programming language (AO, KU), pp. 307–319.
ICFPICFP-2011-SwamyGLH #lightweight #monad #programming
Lightweight monadic programming in ML (NS, NG, DL, MH), pp. 15–27.
POPLPOPL-2011-HurD #assembly #logic
A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.
SEFMSEFM-2010-HussainL #named #runtime #specification
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.
FLOPSFLOPS-2010-Kiselyov
Delimited Control in OCaml, Abstractly and Concretely: System Description (OK), pp. 304–320.
ICFPICFP-2010-Gordon #metalanguage #named #question
ML: metalanguage or object language? (MJCG), pp. 1–2.
DATEDATE-2010-CupaiuoloST #architecture #detection #throughput
Low-complexity high throughput VLSI architecture of soft-output ML MIMO detector (TC, MS, AT), pp. 1396–1401.
ICFPICFP-2009-Chaudhuri #concurrent #haskell #library
A concurrent ML library in concurrent Haskell (AC), pp. 269–280.
ICFPICFP-2009-CuoqSBBCCMPP #case study #experience #framework #static analysis
Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
ICFPICFP-2009-PaganoAMCCWMC #case study #certification #embedded #experience #framework #safety #tool support #using
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.
ICFPICFP-2009-ReppyRX #concurrent #parallel
Parallel concurrent ML (JHR, CVR, YX), pp. 257–268.
ICMLICML-2009-Leskovec #network #scalability #social #summary #tutorial
Tutorial summary: Large social and information networks: opportunities for ML (JL), p. 19.
MODELSMoDELS-2009-LloydJ #analysis #authentication #security #using
Security Analysis of a Biometric Authentication System Using UMLsec and JML (JL, JJ), pp. 77–91.
MODELSMoDELS-2009-LloydJ #analysis #authentication #security #using
Security Analysis of a Biometric Authentication System Using UMLsec and JML (JL, JJ), pp. 77–91.
SACSAC-2009-CatanoW #case study #java #specification
Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
SACSAC-2009-JamesC #multi #static analysis
Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.
DATEDATE-2009-LiFNBPC #architecture #co-evolution #design #detection #parallel #set
Algorithm-architecture co-design of soft-output ML MIMO detector for parallel application specific instruction set processors (ML, RF, DN, BB, LVdP, FC), pp. 1608–1613.
FASEFASE-2009-HuismanT #automaton #security
A Formal Connection between Security Automata and JML Annotations (MH, AT), pp. 340–354.
FoSSaCSFoSSaCS-2009-MurawskiT #abstraction
Full Abstraction for Reduced ML (ASM, NT), pp. 32–47.
ICSTICST-2009-MurphySK #runtime #testing #using
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.
FMFM-2008-ChalinR #fault #performance #runtime #using
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
AFPAFP-2008-AcarL08 #self
Self-adjusting Computation with Delta ML (UAA, RLW), pp. 1–38.
ICFPICFP-2008-DreyerR #mixin
Mixin’ up the ML module system (DD, AR), pp. 307–320.
ICFPICFP-2008-Effinger-DeanKG #transaction
Transactional events for ML (LED, MK, DG), pp. 103–114.
ICFPICFP-2008-RemyY #constraints #performance #type inference
From ML to MLF: graphic type constraints with efficient type inference (DR, BY), pp. 63–74.
IFLIFL-2008-TellerSV #fault #lightweight #performance #polymorphism #type safety
Catch Me If You Can — Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml (DT, AS, TV), pp. 249–271.
ICPRICPR-2008-KanataniS #algorithm #strict
Compact algorithm for strictly ML ellipse fitting (KK, YS), pp. 1–4.
PADLPADL-2008-FernandezFFGM #developer #programming #tool support
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers (MFF, KF, JNF, MG, YM), pp. 133–149.
PADLPADL-2008-PaganoACCCMW #development #implementation #tool support
Certified Development Tools Implementation in Objective Caml (BP, OA, BC, EC, JLC, TM, PW), pp. 2–17.
POPLPOPL-2008-Minsky
Caml trading (YM), p. 285.
ICSTICST-2008-RebeloLCS #aspectj #compilation
A JML Compiler Based on AspectJ (HR, RMFL, MC, SS), pp. 541–544.
POPLPOPL-2007-LeeCH #standard #towards
Towards a mechanized metatheory of standard ML (DKL, KC, RH), pp. 173–184.
POPLPOPL-2007-MandelbaumFWFG #functional #named
PADS/ML: a functional data description language (YM, KF, DW, MFF, AG), pp. 77–83.
ASEASE-2007-Leavens #java #modelling #tutorial
Tutorial on JML, the java modeling language (GTL), p. 573.
LDTALDTA-J-2005-Iversen #compilation #standard
An action compiler targeting Standard ML (JI), pp. 79–94.
CAVCAV-2007-LeavensKP #behaviour #composition #functional #java #specification #tutorial #verification
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
MBTMBT-2007-DadeauLB #java #specification #testing #using
Measuring a Java Test Suite Coverage Using JML Specifications (FD, YL, LdB), pp. 21–32.
FMFM-2006-BouquetDL #automation #bound #generative #specification #testing
Automated Boundary Test Generation from JML Specifications (FB, FD, BL), pp. 428–443.
ICFPICFP-2006-Frisch
OCaml + XDuce (AF), pp. 192–200.
ICFPICFP-2006-Rossberg #component
The missing link: dynamic components for ML (AR), pp. 99–110.
PPDPPPDP-2006-NguyenO #compilation #layout #morphism #polymorphism
Compiling ML polymorphism with explicit layout bitmap (HDN, AO), pp. 237–248.
ESOPESOP-2006-Rudiak-GouldMJ #haskell
Haskell Is Not Not ML (BRG, AM, SLPJ), pp. 38–53.
FASEFASE-2006-GiorgettiG #generative #named #verification
JAG: JML Annotation Generation for Verifying Temporal Properties (AG, JG), pp. 373–376.
FMFM-2005-BouquetDLU #animation #specification
Symbolic Animation of JML Specifications (FB, FD, BL, MU), pp. 75–90.
ICFPICFP-2005-MasuharaTY #aspect-oriented #functional
Aspectual Caml: an aspect-oriented functional language (HM, HT, AY), pp. 320–330.
ICFPICFP-2005-Pottier #type inference
From ML type inference to stratified type inference (FP), p. 1.
ECOOPECOOP-2005-RodriguezDFHLR #composition #concurrent #multi #source code #specification #thread #verification
Extending JML for Modular Specification and Verification of Multi-threaded Programs (ER, MBD, CF, JH, GTL, R), pp. 551–576.
PPDPPPDP-2005-MandelP #named
ReactiveML: a reactive extension to ML (LM, MP), pp. 82–93.
LDTALDTA-2005-Iversen #compilation #standard
An Action Compiler Targeting Standard ML (JI), pp. 167–188.
TACASTACAS-2005-BouquetDLU #named #specification #using
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP (FB, FD, BL, MU), pp. 551–556.
CADECADE-2005-DufayFM #data flow #information management #privacy
Privacy-Sensitive Information Flow with JML (GD, APF, SM), pp. 116–130.
PASTEPASTE-2004-Leavens #exclamation
Invited Talk: JML framed! (GTL), p. 1.
IFLIFL-2004-Gast #data flow #fault
Explaining ML Type Errors by Data Flows (HG), pp. 72–89.
PADLPADL-2004-ElsmanL #html #type system #web
Typing XHTML Web Applications in ML (ME, KFL), pp. 224–238.
TACASTACAS-2004-LingerS #analysis #constraints #theorem proving #type inference
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (NL, TS), pp. 266–279.
FMFME-2003-Chalin #effectiveness
Improving JML: For a Safer and More Effective Language (PC), pp. 440–461.
RTARTA-2003-McAllester #algorithm #logic #type inference
Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference (DAM), pp. 436–451.
ICFPICFP-2003-BotlanR #named #power of #system f
MLF: raising ML to the power of system F (DLB, DR), pp. 27–38.
FATESFATES-2003-XuY #automation #framework #named #novel #testing
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit (G(X, ZY), pp. 70–85.
VMCAIVMCAI-2003-CatanoH #named #static analysis
CHASE: A Static Checker for JML’s Assignable Clause (NC, MH), pp. 26–40.
ECOOPECOOP-2002-CheonL #approach #testing
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way (YC, GTL), pp. 231–255.
POPLPOPL-2002-PottierS #data flow
Information flow inference for ML (FP, VS), pp. 319–330.
ICFPICFP-2001-DimockWMTW #standard #type safety
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML (AD, IW, RM, FAT, JBW), pp. 14–25.
ICFPICFP-2001-Russo #recursion #standard
Recursive Structures for Standard ML (CVR), pp. 50–61.
FASEFASE-2001-JacobsP #java #logic #modelling
A Logic for the Java Modeling Language JML (BJ, EP), pp. 284–299.
TACASTACAS-2001-BergJ #compilation #java
The LOOP Compiler for Java and JML (JvdB, BJ), pp. 299–312.
PEPMPEPM-2000-Taha #formal method #multi #reduction #semantics
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (WT), pp. 34–43.
SACSAC-2000-BartaS
Syndication with JML (RAB, MWS), pp. 962–970.
ESOPESOP-2000-Russo #standard
First-Class Structures for Standard ML (CVR), pp. 336–350.
CSLCSL-2000-AbramskyL #polymorphism
A Fully Complete PER Model for ML Polymorphic Types (SA, ML), pp. 140–155.
LICSLICS-2000-JeffreyR #bisimulation #concurrent #formal method
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names (AJ, JR), pp. 311–321.
ICFPICFP-1999-HughesP #bound #embedded #programming #recursion #towards
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming (JH, LP), pp. 70–81.
ICFPICFP-1999-OhoriY #compilation #morphism #polymorphism #rank #type inference
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML (AO, NY), pp. 160–171.
ICFPICFP-1999-SemmelrothS #encapsulation #monad
Monadic Encapsulation in ML (MS, AS), pp. 8–17.
PPDPPPDP-1999-Russo #dependent type #standard
Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.
ASEASE-1999-WhittleBBL #editing
An ML Editor Based on Proofs-As-Programs (JW, AB, RJB, HL), pp. 166–173.
ESOPESOP-1999-MoggiTBS
An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.
FoSSaCSFoSSaCS-1999-Benke #algebra #type system
An Algebraic Characterization of Typability in ML with Subtyping (MB), pp. 104–119.
AFPAFP-1998-Sheard98 #programming language #staged #using
Using MetaML: A Staged Programming Language (TS), pp. 207–239.
ICFPICFP-1998-BentonKR #compilation #java #standard
Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.
ICPRICPR-1998-Aladjem #classification #network #recursion #reduction
Training of a ML neural network for classification via recursive reduction of the class separation (MA), pp. 450–452.
ICPRICPR-1998-MoghaddamJP #performance #recognition #similarity #visual notation
Efficient MAP/ML similarity matching for visual recognition (BM, TJ, AP), pp. 876–881.
POPLPOPL-1998-JonesSLT #haskell
Bridging the Gulf: A Common Intermediate Language for ML and Haskell (SLPJ, MS, JL, APT), pp. 49–61.
ICFPICFP-1997-McAdam
BigTypes in ML (BJM), p. 316.
PPDPPLILP-1997-WhittleBL #editing #standard
An Editor for Helping Novices to Learn Standard ML (JW, AB, HL), pp. 389–405.
POPLPOPL-1997-RemyV #object-oriented
Objective ML: A Simple Object-Oriented Extension of ML (DR, JV), pp. 40–53.
AFPAFP-1996-Lee96 #implementation #standard #thread
Implementing Threads in Standard ML (PL), pp. 115–130.
AFPAFP-1996-Tofte96 #standard
Essentials of Standard ML Modules (MT), pp. 208–238.
PLDIPLDI-1996-LeeL #code generation #optimisation #runtime
Optimizing ML with Run-Time Code Generation (PL, ML), pp. 137–148.
PLDIPLDI-1996-ReppyR #standard
Simple Objects for Standard ML (JHR, JGR), pp. 171–180.
PLDIPLDI-1996-TarditiMCSHL #compilation #named #optimisation
TIL: A Type-Directed Optimizing Compiler for ML (DT, JGM, PC, CAS, RH, PL), pp. 181–192.
PPDPPLILP-1996-BelleJM
Functorial ML (GB, CBJ, EM), pp. 32–46.
PLDIBest-of-PLDI-1996-LeeL96a #code generation #optimisation #runtime
Optimizing ML with run-time code generation (with retrospective) (PL, ML), pp. 540–553.
PLDIBest-of-PLDI-1996-TarditiMCSHL96a #compilation #named #optimisation
TIL: a type-directed, optimizing compiler for ML (with retrospective) (DT, JGM, PC, CAS, RH, PL), pp. 554–567.
TLCATLCA-1995-RitterP #standard #λ-calculus
A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.
FPCAFPCA-1995-HengleinR #polymorphism #type inference
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML (FH, JR), pp. 192–203.
PLDIPLDI-1995-ShaoA #compilation #standard #type system
A Type-Based Compiler for Standard ML (ZS, AWA), pp. 116–129.
FMFME-1994-MossesM #action semantics #concurrent #semantics
An Action Semantics for ML Concurrency Primitives (PDM, MM), pp. 461–479.
LISPLFP-1994-BiagioniHLM #network #protocol #stack #standard
Signatures for a Network Protocol Stack: A Systems Application of Standard ML (EB, RH, PL, BM), pp. 55–64.
LISPLFP-1994-Heintze #analysis #source code
Set-Based Analysis of ML Programs (NH), pp. 306–317.
LISPLFP-1994-StefanovicM #behaviour #standard
Characterization of Object Behaviour in Standard ML of New Jersey (DS, JEBM), pp. 43–54.
PEPMPEPM-1994-BirkedalW #analysis #standard
Binding-Time Analysis for Standard ML (LB, MW), pp. 61–71.
PLDIPLDI-1994-AppelM #compilation #standard
Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.
SASSAS-1994-Yi #detection #exception #source code #standard
Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.
ESOPESOP-1994-BerthomieuS #behaviour #framework #programming #semantics #syntax
Programming with Behaviors in an ML Framework — The Syntax and Semantics of LCS (BB, TLS), pp. 89–104.
ESOPESOP-1994-Kahrs #morphism #polymorphism
First-Class Polymorphism for ML (SK), pp. 333–347.
RTARTA-1993-Matthews #equation #named #reasoning #standard
MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.
POPLPOPL-1993-DoligezL #concurrent #garbage collection #implementation #parallel #thread
A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML (DD, XL), pp. 113–123.
PPoPPPPoPP-1993-MorrisettT #framework #multi #platform #standard
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.
ICALPICALP-1992-PhoaF #semantics
A Proposed Categorial Semantics for Pure ML (WP, MPF), pp. 533–544.
LISPLFP-1992-RauglaudreM #parsing
Parsers in ML (DdR, MM), pp. 76–85.
LISPLFP-1992-Remy
Projective ML (DR), pp. 66–75.
POPLPOPL-1992-BerryMT #concurrent #semantics
A Semantics for ML Concurrency Primitives (DB, RM, DNT), pp. 119–129.
FPCAFPCA-1991-LeroyM
Dynamics in ML (XL, MM), pp. 406–426.
FPCAFPCA-1991-Maranget #implementation #lazy evaluation #named #parallel
GAML: a Parallel Implementation of Lazy ML (LM), pp. 102–123.
FPCAFPCA-1991-VolpanoS #complexity #on the
On the Complexity of ML Typability with Overloading (DMV, GS), pp. 15–28.
PLDIPLDI-1991-FreemanP #refinement
Refinement Types for ML (TF, FP), pp. 268–277.
PPDPPLILP-1991-AppelM #standard
Standard ML of New Jersey (AWA, DBM), pp. 1–13.
POPLPOPL-1991-DubaHM #continuation #type system
Typing First-Class Continuations in ML (BFD, RH, DBM), pp. 163–173.
POPLPOPL-1991-MitchellMM #inheritance #standard #type system
An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.
LISPLFP-1990-TolmachA #debugging #reverse engineering #standard
Debugging Standard ML Without Reverse Engineering (APT, AWA), pp. 1–12.
POPLPOPL-1990-Mairson #exponential
Deciding ML Typability is Complete for Deterministic Exponential Time (HGM), pp. 382–401.
FPCAFPCA-1989-Ohori #morphism #polymorphism #semantics
A Simple Semantics for ML Polymorphism (AO), pp. 281–292.
POPLPOPL-1989-KanellakisM #polymorphism #type system #unification
Polymorphic Unification and ML Typing (PCK, JCM), pp. 105–115.
POPLPOPL-1989-Remy
Typechecking Records and Variants in a Natural Extension of ML (DR), pp. 77–88.
TAPSOFTCCIPL-1989-SannellaT #development #source code #towards
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) (DS, AT), pp. 375–389.
FMVDME-1988-Arthan #compilation #prototype #standard
Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.
LISPLFP-1988-JategaonkarM #pattern matching #type system
ML with Extended Pattern Matching and Subtypes (LJ, JCM), pp. 198–211.
LISPLFP-1988-MacQueen #implementation #standard
An Implementation of Standard ML Modules (DBM), pp. 212–223.
POPLPOPL-1988-KfouryTU #effectiveness
A Proper Extension of ML with an Effective Type-Assignment (AJK, JT, PU), pp. 58–69.
POPLPOPL-1988-MitchellH
The Essence of ML (JCM, RH), pp. 28–46.
FPCAFPCA-1987-AppelM #compilation #standard
A Standard ML compiler (AWA, DBM), pp. 301–324.
TAPSOFTCFLP-1987-Clement #semantics #standard
The Natural Dynamic Semantics of Mini-Standard ML (DC), pp. 67–81.
POPLPOPL-1985-SannellaT #development #specification #standard
Program Specification and Development in Standard ML (DS, AT), pp. 67–77.
LISPLFP-1984-Augustsson #compilation #lazy evaluation
A Compiler for Lazy ML (LA), pp. 218–227.
LISPLFP-1984-MacQueen #standard
Modules for Standard ML (DBM), pp. 198–207.
LISPLFP-1984-Milner #standard
A Proposal for Standard ML (RM), pp. 184–197.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.