Stem ml$ (all stems)

189 papers:

CASE-2015-LinSPV #modelling #order

A SysML profile supporting change orders in model driven engineering (HYL, SS, NP, VV), pp. 1054–1059.

FoSSaCS-2015-Cotton-BarrattH #automaton #decidability #memory management #ml

Fragments of ML Decidable by Nested Data Class Memory Automata (CCB, DH, ASM, CHLO), pp. 249–263.

ICFP-2015-Rossberg #ml #named

1ML — core and modules united (F-ing first-class modules) (AR), pp. 35–47.

ICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process #uml

A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.

ICEIS-v3-2015-SilvaMLFNS #architecture #experience #health #information management #modelling #using

An Experience of using SoaML for Modeling a Service-Oriented Architecture for Health Information Systems (FGS, JSSdM, JdSL, JMSF, RPCdN, MSS), pp. 322–327.

KDD-2015-BerralPCCRG #automation #framework #information management #named

ALOJA-ML: A Framework for Automating Characterization and Knowledge Discovery in Hadoop Deployments (JLB, NP, DC, AC, RR, DG), pp. 1701–1710.

PPDP-2015-MandelPP #ml #years after

ReactiveML, ten years later (LM, CP, MP), pp. 6–17.

SAC-2015-Morelli #automation #generative #modelling

Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.

SPLC-2015-GaetaC #modelling #product line

Modeling aerospace systems product lines in SysML (JPG, KC), pp. 293–302.

CASE-2014-HuckabyC

A case for SysML in robotics (JH, HIC), pp. 333–338.

VLDB-2014-BoehmTRSTBV #hybrid #machine learning #parallel #scalability

Hybrid Parallelization Strategies for Large-Scale Machine Learning in SystemML (MB, ST, BR, PS, YT, DB, SV), pp. 553–564.

ITiCSE-2014-WangCMSW #data access #education #multi #named #security #using #visualisation

MLSvisual: a visualization tool for teaching access control using multi-level security (MW, SC, JM, CKS, CW), pp. 93–98.

SAS-2014-MandelP #ml

Reactivity of Cooperative Systems — Application to ReactiveML (LM, CP), pp. 219–236.

IFM-2014-MiyazawaC #refinement

Formal Refinement in SysML (AM, AC), pp. 155–170.

ICEIS-v2-2014-AntonioRF #embedded #modelling #process #validation #verification

Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.

ICEIS-v2-2014-MeloS #design #modelling #uml #using

Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.

POPL-2014-KumarMNO #implementation #ml #named

CakeML: a verified implementation of ML (RK, MOM, MN, SO), pp. 179–192.

CC-2014-SulzmannS #flexibility #ml #performance #regular expression

A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching (MS, PvS), pp. 174–191.

ECSA-2013-ChoualiCM #architecture #component #interface #requirements #specification

Specifying System Architecture from SysML Requirements and Component Interfaces (SC, OC, HM), pp. 348–352.

ECSA-2013-LeiteOB #architecture #named

SysADL: A SysML Profile for Software Architecture Description (JCL, FO, TVB), pp. 106–113.

CASE-2013-KernschmidtV #approach #modelling

An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering (KK, BVH), pp. 1113–1118.

DUXU-WM-2013-SchutzOV #approach #automation #development #evaluation #usability

SysML-Based Approach for Automation Software Development — Explorative Usability Evaluation of the Provided Notation (DS, MO, BVH), pp. 568–574.

ICEIS-v2-2013-FragalSGJ #approach #embedded #product line #specification

Application Engineering for Embedded Systems — Transforming SysML Specification to Simulink within a Product-Line based Approach (VHF, RFS, IMdSG, EAdOJ), pp. 94–101.

ICEIS-v2-2013-OliveiraS #aspect-oriented #modelling #requirements #using

Modeling Aspects in Requirements using SysML Extensions (KSdO, MdSS), pp. 126–133.

ICEIS-v2-2013-RibeiroS #approach #modelling #realtime #requirements

An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes (FGCR, MSS), pp. 70–81.

ICEIS-v2-2013-SilvaFJGO #approach #embedded #named #product line

SyMPLES — A SysML-based Approach for Developing Embedded Systems Software Product Lines (RFS, VHF, EAdOJ, IMdSG, FO), pp. 257–264.

ICEIS-v2-2013-TounsiHKKD #design pattern #modelling #specification #using

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns (IT, ZH, MHK, AHK, KD), pp. 294–301.

ECMFA-2013-AmbertBLLP #approach #modelling #testing

Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing (FA, FB, JL, BL, FP), pp. 134–151.

MoDELS-2013-FernandezAIM #development #empirical #modelling #usability #validation #web

Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML (AF, SA, EI, MM), pp. 740–756.

MoDELS-2013-FernandezAIM #development #empirical #modelling #usability #validation #web

Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML (AF, SA, EI, MM), pp. 740–756.

ICST-2013-Gauthier #generative #modelling #research #testing

Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.

VMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference

Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.

SEFM-2012-AyraultBDP #analysis #dependence #ml

ML Dependency Analysis for Assessors (PA, VB, CD, FP), pp. 278–292.

SEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process

Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.

ICFP-2012-MyreenO #higher-order #logic #ml #synthesis

Proof-producing synthesis of ML from higher-order logic (MOM, SO), pp. 115–126.

ICEIS-v2-2012-FreireCGL #modelling #multi #named

NorMAS-ML — A Modeling Language to Model Normative Multi-agent Systems (ESSF, MIC, EJTG, YSL), pp. 113–119.

SAC-2012-DelgadoRGP #collaboration #model transformation #process

Model transformations for Business-IT alignment: from collaborative business process to SoaML service model (AD, FR, IGRdG, MP), pp. 1720–1722.

SAC-2012-TsadimasNA #design #information management #non-functional #requirements

Extending SysML to explore non-functional requirements: the case of information system design (AT, MN, DA), pp. 1057–1062.

FSE-2012-Augustine #adaptation #automation #maintenance #semiparsing

Automating adaptive maintenance changes with SrcML and LINQ (VA), p. 9.

CAV-2012-0002AH #ml

Resource Aware ML (JH, KA, MH), pp. 781–786.

CAV-2012-HopkinsMO #equivalence #higher-order #ml #named

Hector: An Equivalence Checker for a Higher-Order Fragment of ML (DH, ASM, CHLO), pp. 774–780.

CSL-2012-ChrzaszczS #complexity #ml

ML with PTIME complexity guarantees (JC, AS), pp. 198–212.

ECSA-2011-AdersbergerP #architecture #consistency #named #traceability #uml

ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking (JA, MP), pp. 344–359.

ICALP-v2-2011-HopkinsMO #automaton #decidability #ml

A Fragment of ML Decidable by Visibly Pushdown Automata (DH, ASM, CHLO), pp. 149–161.

ICFP-2011-OhoriU #database #ml #programming language #standard

Making standard ML a practical database programming language (AO, KU), pp. 307–319.

ICFP-2011-SwamyGLH #lightweight #ml #monad #programming

Lightweight monadic programming in ML (NS, NG, DL, MH), pp. 15–27.

CAiSE-2011-DelgadoRGP #generative #process

Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML (AD, FR, IGRdG, MP), pp. 672–680.

ICEIS-v2-2011-GoncalvesFCFOS #modelling #multi

MAS-ML Tool — A Modeling Environment for Multi-agent Systems (EJTG, KF, MIC, ARF, FRO, VTdS), pp. 192–197.

ICML-2011-SujeethLBRCWAOO #domain-specific language #machine learning #named #parallel

OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning (AKS, HL, KJB, TR, HC, MW, ARA, MO, KO), pp. 609–616.

ECMFA-2011-BehjatiYNBS #architecture #concept #modelling

Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling (RB, TY, SN, LCB, BS), pp. 236–252.

ECMFA-2011-ColomboKL #analysis #design #generative #modelling #problem #requirements #using

Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.

ECMFA-2011-JainKP #development #modelling #validation

A SysML Profile for Development and Early Validation of TLM 2.0 Models (VJ, AK, PRP), pp. 299–311.

MoDELS-2011-IzukuraYOSKX #approach #development #modelling #using

Applying a Model-Based Approach to IT Systems Development Using SysML Extension (SI, KY, TO, HS, DK, JX), pp. 563–577.

MoDELS-2011-IzukuraYOSKX #approach #development #modelling #using

Applying a Model-Based Approach to IT Systems Development Using SysML Extension (SI, KY, TO, HS, DK, JX), pp. 563–577.

POPL-2011-HurD #assembly #logic #ml

A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.

ESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing

SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.

DATE-2010-CupaiuoloST #architecture #detection #ml #throughput

Low-complexity high throughput VLSI architecture of soft-output ML MIMO detector (TC, MS, AT), pp. 1396–1401.

ICFP-2010-Gordon #metalanguage #ml #named #question

ML: metalanguage or object language? (MJCG), pp. 1–2.

ICFP-2010-StampoulisS #logic #named

VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.

ICEIS-AIDSS-2010-GoncalvesCCS

Extending MAS-ML to Model Proactive and Reactive Sotware Agents (EJTG, MIC, GALdC, VTdS), pp. 75–84.

ECMFA-2010-ColomboKL #analysis #case study #modelling #problem #requirements

Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study (PC, FK, LL), pp. 74–89.

MoDELS-v1-2010-GuerraLKPS #model transformation #named #product line

transML: A Family of Languages to Model Model Transformations (EG, JdL, DSK, RFP, OMdS), pp. 106–120.

SAC-2010-ChangLHCSYHK #embedded #manycore #modelling

SysML-based requirement modeling environment for multicore embedded system (CHC, CWL, NLH, WCC, CS, CTY, PAH, CSK), pp. 2224–2228.

SAC-2010-GoncalvesCCGS #modelling #towards #using

Towards the modeling reactive and proactive agents by using MAS-ML (EJTG, MIC, GALdC, GFG, VTdS), pp. 936–937.

DATE-2009-LiFNBPC #architecture #co-evolution #design #detection #ml #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.

FoSSaCS-2009-MurawskiT #abstraction #ml

Full Abstraction for Reduced ML (ASM, NT), pp. 32–47.

ICFP-2009-Chaudhuri #concurrent #haskell #library #ml

A concurrent ML library in concurrent Haskell (AC), pp. 269–280.

ICFP-2009-ReppyRX #concurrent #ml #parallel

Parallel concurrent ML (JHR, CVR, YX), pp. 257–268.

ICML-2009-Leskovec #ml #network #scalability #social #summary #tutorial

Tutorial summary: Large social and information networks: opportunities for ML (JL), p. 19.

ECMDA-FA-2009-EspinozaCSG #challenge #design #embedded #modelling

Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems (HE, DC, BS, SG), pp. 98–113.

DATE-2008-LiBXNPC #architecture #detection #optimisation #parallel #programmable

Optimizing Near-ML MIMO Detector for SDR Baseband on Parallel Programmable Architectures (ML, BB, WX, DN, LVdP, FC), pp. 444–449.

AFP-2008-AcarL08 #ml #self

Self-adjusting Computation with Delta ML (UAA, RLW), pp. 1–38.

ICFP-2008-DreyerR #mixin #ml

Mixin’ up the ML module system (DD, AR), pp. 307–320.

ICFP-2008-Effinger-DeanKG #ml #transaction

Transactional events for ML (LED, MK, DG), pp. 103–114.

ICFP-2008-RemyY #constraints #ml #performance #type inference

From ML to ML^F: graphic type constraints with efficient type inference (DR, BY), pp. 63–74.

AdaEurope-2008-AlonsoVPA #ada #modelling #state machine #thread #visual notation

StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code (DA, CVC, JAP, BÁ), pp. 158–170.

ICPR-2008-KanataniS #algorithm #ml #strict

Compact algorithm for strictly ML ellipse fitting (KK, YS), pp. 1–4.

TOOLS-EUROPE-2008-AcerbisBBBCF #design #development #web

Web Applications Design and Development with WebML and WebRatio 5.0 (RA, AB, MB, SB, SC, PF), pp. 392–411.

PADL-2008-FernandezFFGM #developer #ml #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.

CASE-2007-HallbergNDSDFM #named #smarttech

HomeRuleML — A Model for the Exchange of Decision Support Rules Within Smart Environments (JH, CDN, RJD, KS, MPD, DDF, MDM), pp. 513–520.

CASE-2007-KwonM #framework #simulation

SysML-based Simulation Framework for Semiconductor Manufacturing (KSK, LFM), pp. 1075–1080.

ICDAR-2007-KeshariW07a

Streaming-Archival InkML Conversion (BK, SMW), pp. 1253–1257.

ICDAR-2007-Watt #aspect-oriented

New Aspects of InkML for Pen-Based Computing (SMW), pp. 457–460.

ICFP-2007-Park #higher-order #type safety

Type-safe higher-order channels in ML-like languages (SP), pp. 191–202.

POPL-2007-LeeCH #ml #standard #towards

Towards a mechanized metatheory of standard ML (DKL, KC, RH), pp. 173–184.

POPL-2007-MandelbaumFWFG #functional #ml #named

PADS/ML: a functional data description language (YM, KF, DW, MFF, AG), pp. 77–83.

SAC-2007-HwangPJ #analysis #implementation #performance

An implementation and performance analysis of slave-side arbitration schemes for the ML-AHB BusMatrix (SYH, HJP, KSJ), pp. 1545–1551.

LDTA-J-2005-Iversen #compilation #ml #standard

An action compiler targeting Standard ML (JI), pp. 79–94.

LICS-2007-Pottier

Static Name Control for FreshML (FP), pp. 356–365.

DATE-2006-VanderperrenD #matlab #uml

From UML/SysML to Matlab/Simulink: current state and future perspectives (YV, WD), p. 93.

DATE-2006-ViehlSBR #analysis #design #modelling #performance #simulation #uml

Formal performance analysis and simulation of UML/SysML models for ESL design (AV, TS, OB, WR), pp. 242–247.

ESOP-2006-Rudiak-GouldMJ #haskell #ml

Haskell Is Not Not ML (BRG, AM, SLPJ), pp. 38–53.

ICFP-2006-Rossberg #component #ml

The missing link: dynamic components for ML (AR), pp. 99–110.

EDOC-2006-NaglRD #distributed #named

VIDRE — A Distributed Service-Oriented Business Rule Engine based on RuleML (CN, FR, SD), pp. 35–44.

PPDP-2006-NguyenO #compilation #layout #ml #morphism #polymorphism

Compiling ML polymorphism with explicit layout bitmap (HDN, AO), pp. 237–248.

DATE-2005-VanderperrenD #approach #complexity #design #uml

UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design (YV, WD), pp. 716–717.

ICFP-2005-Pottier #ml #type inference

From ML type inference to stratified type inference (FP), p. 1.

PPDP-2005-MandelP #ml #named

ReactiveML: a reactive extension to ML (LM, MP), pp. 82–93.

LDTA-2005-Iversen #compilation #ml #standard

An Action Compiler Targeting Standard ML (JI), pp. 167–188.

ESOP-2004-CalcagnoMT #classification

ML-Like Inference for Classifiers (CC, EM, WT), pp. 79–93.

TACAS-2004-LingerS #analysis #constraints #ml #theorem proving #type inference

Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (NL, TS), pp. 266–279.

IFL-2004-Gast #data flow #fault #ml

Explaining ML Type Errors by Data Flows (HG), pp. 72–89.

PADL-2004-ElsmanL #html #ml #type system #web

Typing XHTML Web Applications in ML (ME, KFL), pp. 224–238.

ISMM-2004-LeeY #automation #effectiveness #memory management #source code

Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs (OL, KY), pp. 97–107.

SAS-2003-LeeYY #memory management #reuse #source code

Inserting Safe Memory Reuse Commands into ML-Like Programs (OL, HY, KY), pp. 171–188.

ICFP-2003-BotlanR #ml #named #power of #system f

ML^F: raising ML to the power of system F (DLB, DR), pp. 27–38.

ICFP-2003-ShinwellPG #named #programming

FreshML: programming with binders made simple (MRS, AMP, MG), pp. 263–274.

SEKE-2003-TongrungrojanaL #modelling #web

WebML+: a Web modeling language for forming a bridge between business modeling and information modeling (RT, DBL), pp. 17–24.

RTA-2003-McAllester #algorithm #logic #ml #type inference

Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference (DAM), pp. 436–451.

POPL-2002-PottierS #data flow #ml

Information flow inference for ML (FP, VS), pp. 319–330.

ICFP-2001-DimockWMTW #ml #standard #type safety

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML (AD, IW, RM, FAT, JBW), pp. 14–25.

ICFP-2001-GanzST #generative #metaprogramming #multi #type safety

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (SEG, AS, WT), pp. 74–85.

ICFP-2001-Russo #ml #recursion #standard

Recursive Structures for Standard ML (CVR), pp. 50–61.

ESOP-2000-Russo #ml #standard

First-Class Structures for Standard ML (CVR), pp. 336–350.

PEPM-2000-Taha #formal method #ml #multi #reduction #semantics

A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) (WT), pp. 34–43.

CSL-2000-AbramskyL #ml #polymorphism

A Fully Complete PER Model for ML Polymorphic Types (SA, ML), pp. 140–155.

LICS-2000-JeffreyR #bisimulation #concurrent #formal method #ml

A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names (AJ, JR), pp. 311–321.

ASE-1999-WhittleBBL #editing #ml

An ML Editor Based on Proofs-As-Programs (JW, AB, RJB, HL), pp. 166–173.

ESOP-1999-MoggiTBS #ml

An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.

FoSSaCS-1999-Benke #algebra #ml #type system

An Algebraic Characterization of Typability in ML with Subtyping (MB), pp. 104–119.

ICFP-1999-HughesP #bound #embedded #ml #programming #recursion #towards

Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming (JH, LP), pp. 70–81.

ICFP-1999-OhoriY #compilation #ml #morphism #polymorphism #rank #type inference

Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML (AO, NY), pp. 160–171.

ICFP-1999-SemmelrothS #encapsulation #ml #monad

Monadic Encapsulation in ML (MS, AS), pp. 8–17.

PPDP-1999-Russo #dependent type #ml #standard

Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.

PLDI-1998-WicklineLP #code generation #runtime

Run-time Code Generation and Modal-ML (PW, PL, FP), pp. 224–235.

AFP-1998-Sheard98 #ml #programming language #staged #using

Using MetaML: A Staged Programming Language (TS), pp. 207–239.

ICFP-1998-BentonKR #compilation #java #ml #standard

Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.

ICFP-1998-Yang #encoding

Encoding Types in ML-Like Languages (ZY), pp. 289–300.

ICPR-1998-Aladjem #classification #ml #network #recursion #reduction

Training of a ML neural network for classification via recursive reduction of the class separation (MA), pp. 450–452.

ICPR-1998-MoghaddamJP #ml #performance #recognition #similarity #visual notation

Efficient MAP/ML similarity matching for visual recognition (BM, TJ, AP), pp. 876–881.

POPL-1998-JonesSLT #haskell #ml

Bridging the Gulf: A Common Intermediate Language for ML and Haskell (SLPJ, MS, JL, APT), pp. 49–61.

ICFP-1997-McAdam #ml

BigTypes in ML (BJM), p. 316.

PLILP-1997-WhittleBL #editing #ml #standard

An Editor for Helping Novices to Learn Standard ML (JW, AB, HL), pp. 389–405.

POPL-1997-RemyV #ml #object-oriented

Objective ML: A Simple Object-Oriented Extension of ML (DR, JV), pp. 40–53.

ESOP-1996-SmithV #c #polymorphism #towards #type system

Towards an ML-Style Polymorphic Type System for C (GS, DMV), pp. 341–355.

PLDI-1996-LeeL #code generation #ml #optimisation #runtime

Optimizing ML with Run-Time Code Generation (PL, ML), pp. 137–148.

PLDI-1996-ReppyR #ml #standard

Simple Objects for Standard ML (JHR, JGR), pp. 171–180.

PLDI-1996-TarditiMCSHL #compilation #ml #named #optimisation

TIL: A Type-Directed Optimizing Compiler for ML (DT, JGM, PC, CAS, RH, PL), pp. 181–192.

Best-of-PLDI-1996-LeeL96a #code generation #ml #optimisation #runtime

Optimizing ML with run-time code generation (with retrospective) (PL, ML), pp. 540–553.

Best-of-PLDI-1996-TarditiMCSHL96a #compilation #ml #named #optimisation

TIL: a type-directed, optimizing compiler for ML (with retrospective) (DT, JGM, PC, CAS, RH, PL), pp. 554–567.

AFP-1996-Lee96 #implementation #ml #standard #thread

Implementing Threads in Standard ML (PL), pp. 115–130.

AFP-1996-Tofte96 #ml #standard

Essentials of Standard ML Modules (MT), pp. 208–238.

PLILP-1996-BelleJM #ml

Functorial ML (GB, CBJ, EM), pp. 32–46.

PLILP-1996-Kahrs

Limits of ML-Definability (SK), pp. 17–31.

PLDI-1995-ShaoA #compilation #ml #standard #type system

A Type-Based Compiler for Standard ML (ZS, AWA), pp. 116–129.

FPCA-1995-GunterRR #exception

A Generalization of Exceptions and Control in ML-like Languages (CAG, DR, JGR), pp. 12–23.

FPCA-1995-HengleinR #ml #polymorphism #type inference

Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML (FH, JR), pp. 192–203.

TLCA-1995-RitterP #ml #standard #λ-calculus

A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.

ESOP-1994-BerthomieuS #behaviour #framework #ml #programming #semantics #syntax

Programming with Behaviors in an ML Framework — The Syntax and Semantics of LCS (BB, TLS), pp. 89–104.

ESOP-1994-Kahrs #ml #morphism #polymorphism

First-Class Polymorphism for ML (SK), pp. 333–347.

PEPM-1994-BirkedalW #analysis #ml #standard

Binding-Time Analysis for Standard ML (LB, MW), pp. 61–71.

PLDI-1994-AppelM #compilation #ml #standard

Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.

SAS-1994-Yi #detection #exception #ml #source code #standard

Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.

ICALP-1994-KanellakisHM #analysis #re-engineering

An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction (PCK, GGH, HGM), pp. 83–105.

FME-1994-MossesM #action semantics #concurrent #ml #semantics

An Action Semantics for ML Concurrency Primitives (PDM, MM), pp. 461–479.

LFP-1994-BiagioniHLM #ml #network #protocol #stack #standard

Signatures for a Network Protocol Stack: A Systems Application of Standard ML (EB, RH, PL, BM), pp. 55–64.

LFP-1994-Heintze #analysis #ml #source code

Set-Based Analysis of ML Programs (NH), pp. 306–317.

LFP-1994-StefanovicM #behaviour #ml #standard

Characterization of Object Behaviour in Standard ML of New Jersey (DS, JEBM), pp. 43–54.

POPL-1993-DoligezL #concurrent #garbage collection #implementation #ml #parallel #thread

A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML (DD, XL), pp. 113–123.

PPoPP-1993-MorrisettT #framework #ml #multi #standard

Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.

RTA-1993-Matthews #equation #ml #named #reasoning #standard

MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.

ICALP-1992-PhoaF #ml #semantics

A Proposed Categorial Semantics for Pure ML (WP, MPF), pp. 533–544.

LFP-1992-RauglaudreM #ml #parsing

Parsers in ML (DdR, MM), pp. 76–85.

LFP-1992-Remy #ml

Projective ML (DR), pp. 66–75.

POPL-1992-BerryMT #concurrent #ml #semantics

A Semantics for ML Concurrency Primitives (DB, RM, DNT), pp. 119–129.

POPL-1992-Ohori #calculus #compilation #polymorphism

A Compilation Method for ML-Style Polymorphic Record Calculi (AO), pp. 154–165.

PLDI-1991-FreemanP #ml #refinement

Refinement Types for ML (TF, FP), pp. 268–277.

FPCA-1991-LeroyM #ml

Dynamics in ML (XL, MM), pp. 406–426.

FPCA-1991-Maranget #implementation #lazy evaluation #ml #named #parallel

GAML: a Parallel Implementation of Lazy ML (LM), pp. 102–123.

FPCA-1991-VolpanoS #complexity #ml #on the

On the Complexity of ML Typability with Overloading (DMV, GS), pp. 15–28.

PLILP-1991-AppelM #ml #standard

Standard ML of New Jersey (AWA, DBM), pp. 1–13.

POPL-1991-DubaHM #continuation #ml #type system

Typing First-Class Continuations in ML (BFD, RH, DBM), pp. 163–173.

POPL-1991-MitchellMM #inheritance #ml #standard #type system

An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.

LFP-1990-TolmachA #debugging #ml #reverse engineering #standard

Debugging Standard ML Without Reverse Engineering (APT, AWA), pp. 1–12.

POPL-1990-Mairson #exponential #ml

Deciding ML Typability is Complete for Deterministic Exponential Time (HGM), pp. 382–401.

FPCA-1989-Ohori #ml #morphism #polymorphism #semantics

A Simple Semantics for ML Polymorphism (AO), pp. 281–292.

POPL-1989-KanellakisM #ml #polymorphism #type system #unification

Polymorphic Unification and ML Typing (PCK, JCM), pp. 105–115.

POPL-1989-Remy #ml

Typechecking Records and Variants in a Natural Extension of ML (DR), pp. 77–88.

VDME-1988-Arthan #compilation #ml #prototype #standard

Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.

LFP-1988-JategaonkarM #ml #pattern matching #type system

ML with Extended Pattern Matching and Subtypes (LJ, JCM), pp. 198–211.

LFP-1988-MacQueen #implementation #ml #standard

An Implementation of Standard ML Modules (DBM), pp. 212–223.

POPL-1988-KfouryTU #effectiveness #ml

A Proper Extension of ML with an Effective Type-Assignment (AJK, JT, PU), pp. 58–69.

POPL-1988-MitchellH #ml

The Essence of ML (JCM, RH), pp. 28–46.

FPCA-1987-AppelM #compilation #ml #standard

A Standard ML compiler (AWA, DBM), pp. 301–324.

LFP-1986-ClementDDK

A Simple Applicative Language: Mini-ML (DC, JD, TD, GK), pp. 13–27.

POPL-1985-SannellaT #development #ml #specification #standard

Program Specification and Development in Standard ML (DS, AT), pp. 67–77.

LFP-1984-Augustsson #compilation #lazy evaluation #ml

A Compiler for Lazy ML (LA), pp. 218–227.

LFP-1984-MacQueen #ml #standard

Modules for Standard ML (DBM), pp. 198–207.

LFP-1984-Milner #ml #standard

A Proposal for Standard ML (RM), pp. 184–197.