From the Publisher:
Standard ML is general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML.
Cited By
- Haselwarter P, Rivas E, Van Muylder A, Winterhalter T, Abate C, Sidorenco N, Hriţcu C, Maillard K and Spitters B (2023). SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq, ACM Transactions on Programming Languages and Systems, 45:3, (1-61), Online publication date: 30-Sep-2023.
- Lazarek L, Greenman B, Felleisen M and Dimoulas C (2023). How to Evaluate Blame for Gradual Types, Part 2, Proceedings of the ACM on Programming Languages, 7:ICFP, (159-186), Online publication date: 30-Aug-2023.
- van Binsbergen L, Frölich D, Verano Merino M, Lai J, Jeanjean P, van der Storm T, Combemale B and Barais O A Language-Parametric Approach to Exploratory Programming Environments Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, (175-188)
- Chen Z Towards a Verified Cost Model for Call-by-Push-Value Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, (47-49)
- Gao Y, Li Z, Lin H, Zhang H, Wu M and Yang M Refty Proceedings of the 44th International Conference on Software Engineering, (1843-1855)
- Garfatta I, Klai K, Graïet M and Gaaloul W Model checking of vulnerabilities in smart contracts Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, (316-325)
- Sterling J and Harper R (2021). Logical Relations as Types: Proof-Relevant Parametricity for Program Modules, Journal of the ACM, 68:6, (1-47), Online publication date: 31-Dec-2022.
- Echahed R, Echenim M, Mhalla M and Peltier N A Superposition-Based Calculus for Diagrammatic Reasoning Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, (1-13)
- Reynaud A, Scherer G and Yallop J (2021). A practical mode system for recursive definitions, Proceedings of the ACM on Programming Languages, 5:POPL, (1-29), Online publication date: 4-Jan-2021.
- Doenges R, Arashloo M, Bautista S, Chang A, Ni N, Parkinson S, Peterson R, Solko-Breslin A, Xu A and Foster N (2021). Petr4: formal foundations for p4 data planes, Proceedings of the ACM on Programming Languages, 5:POPL, (1-32), Online publication date: 4-Jan-2021.
- Dragomir I, Preoteasa V and Tripakis S (2020). The Refinement Calculus of Reactive Systems Toolset, International Journal on Software Tools for Technology Transfer (STTT), 22:6, (689-708), Online publication date: 1-Dec-2020.
- van Binsbergen L, Verano Merino M, Jeanjean P, van der Storm T, Combemale B and Barais O A principled approach to REPL interpreters Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (84-100)
- Sekiyama T, Tsukada T and Igarashi A (2020). Signature restriction for polymorphic algebraic effects, Proceedings of the ACM on Programming Languages, 4:ICFP, (1-30), Online publication date: 2-Aug-2020.
- MacQueen D, Harper R and Reppy J (2020). The history of Standard ML, Proceedings of the ACM on Programming Languages, 4:HOPL, (1-100), Online publication date: 14-Jun-2020.
- Syme D (2020). The early history of F#, Proceedings of the ACM on Programming Languages, 4:HOPL, (1-58), Online publication date: 14-Jun-2020.
- Biernacki D, Piróg M, Polesiuk P and Sieczkowski F (2019). Binders by day, labels by night: effect instances via lexically scoped handlers, Proceedings of the ACM on Programming Languages, 4:POPL, (1-29), Online publication date: 1-Jan-2020.
- Addazi L, Ciccozzi F and Lisper B Executable modelling for highly parallel accelerators Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems, (318-321)
- Green A, Guagliardo P, Libkin L, Lindaaker T, Marsault V, Plantikow S, Schuster M, Selmer P and Voigt H (2019). Updating graph databases with Cypher, Proceedings of the VLDB Endowment, 12:12, (2242-2254), Online publication date: 1-Aug-2019.
- Silva B, Carvalho G and Sampaio A (2019). CPN simulation-based test case generation from controlled natural-language requirements, Science of Computer Programming, 181:C, (111-139), Online publication date: 15-Jul-2019.
- Crary K (2019). Fully abstract module compilation, Proceedings of the ACM on Programming Languages, 3:POPL, (1-29), Online publication date: 2-Jan-2019.
- Zhang Y and Myers A (2019). Abstraction-safe effect handlers via tunneling, Proceedings of the ACM on Programming Languages, 3:POPL, (1-29), Online publication date: 2-Jan-2019.
- Garfatta I, Klai K, Graiet M and Gaaloul W Formal Modelling and Verification of Cloud Resource Allocation in Business Processes On the Move to Meaningful Internet Systems. OTM 2018 Conferences, (552-567)
- Francis N, Green A, Guagliardo P, Libkin L, Lindaaker T, Marsault V, Plantikow S, Rydberg M, Selmer P and Taylor A Cypher Proceedings of the 2018 International Conference on Management of Data, (1433-1445)
- Radanne G and Vouillon J Tierless Web Programming in the Large Companion Proceedings of the The Web Conference 2018, (681-689)
- Zhang D, Myers A, Vytiniotis D and Peyton-Jones S (2017). SHErrLoc, ACM Transactions on Programming Languages and Systems, 39:4, (1-47), Online publication date: 31-Dec-2018.
- Barreto F and Julia S Modeling of Video Games Using Workflow Nets and State Graphs Proceedings of the XXXI Brazilian Symposium on Software Engineering, (261-266)
- Guagliardo P and Libkin L (2017). A formal semantics of SQL queries, its validation, and applications, Proceedings of the VLDB Endowment, 11:1, (27-39), Online publication date: 1-Sep-2017.
- Crary K (2017). Modules, abstraction, and parametric polymorphism, ACM SIGPLAN Notices, 52:1, (100-113), Online publication date: 11-May-2017.
- Crary K Modules, abstraction, and parametric polymorphism Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, (100-113)
- Zhang Y, Salvaneschi G, Beightol Q, Liskov B and Myers A (2016). Accepting blame for safe tunneled exceptions, ACM SIGPLAN Notices, 51:6, (281-295), Online publication date: 1-Aug-2016.
- Preoteasa V and Tripakis S Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, (768-777)
- Zhang Y, Salvaneschi G, Beightol Q, Liskov B and Myers A Accepting blame for safe tunneled exceptions Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (281-295)
- Li J, Pombrio J, Politz J and Krishnamurthi S Slimming languages by reducing sugar: a case for semantics-altering transformations 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), (90-106)
- Cousot P Verification by abstract interpretation, soundness and abstract induction Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, (1-4)
- Ohori A, Ueno K, Hoshi K, Nozaki S, Sato T, Makabe T and Ito Y (2014). SML# in industry, ACM SIGPLAN Notices, 49:9, (167-173), Online publication date: 26-Nov-2014.
- Barreto F and Julia S Modeling and analysis of video games based on workflow nets and state graphs Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, (106-119)
- Ohori A, Ueno K, Hoshi K, Nozaki S, Sato T, Makabe T and Ito Y SML# in industry Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, (167-173)
- BjØrner D and Havelund K 40 Years of Formal Methods Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (42-61)
- Lindley S and McBride C (2013). Hasochism, ACM SIGPLAN Notices, 48:12, (81-92), Online publication date: 31-Jan-2014.
- Zhang D and Myers A (2014). Toward general diagnosis of static errors, ACM SIGPLAN Notices, 49:1, (569-581), Online publication date: 13-Jan-2014.
- Zhang D and Myers A Toward general diagnosis of static errors Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (569-581)
- Given-Wilson T, Huang F and Jay B Multi-polymorphic programming in bondi Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, (53-60)
- Lindley S and McBride C Hasochism Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, (81-92)
- Findler R and Felleisen M (2013). ICFP 2002, ACM SIGPLAN Notices, 48:4S, (34-45), Online publication date: 9-Jul-2013.
- Xing C, Zhang W and Li J (2013). On the dovetail counting method, Journal of Computing Sciences in Colleges, 28:5, (24-33), Online publication date: 1-May-2013.
- Butler M and Maamria I Practical theory extension in event-B Theories of Programming and Formal Methods, (67-81)
- Potanin A, Östlund J, Zibin Y and Ernst M Immutability Aliasing in Object-Oriented Programming, (233-269)
- Solodkyy Y, Dos Reis G and Stroustrup B (2012). Open and efficient type switch for C++, ACM SIGPLAN Notices, 47:10, (963-982), Online publication date: 15-Nov-2012.
- Solodkyy Y, Dos Reis G and Stroustrup B Open and efficient type switch for C++ Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (963-982)
- Højsgaard E and Hallwyl T Core BPEL Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1984-1991)
- Zeyda F, Oliveira M and Cavalcanti A (2011). Mechanised support for sound refinement tactics, Formal Aspects of Computing, 24:1, (127-160), Online publication date: 1-Jan-2012.
- Hales T, Harrison J, Mclaughlin S, Nipkow T, Obua S and Zumkeller R (2010). A Revision of the Proof of the Kepler Conjecture, Discrete & Computational Geometry, 44:1, (1-34), Online publication date: 1-Jul-2010.
- Antoy S and Hanus M (2010). Functional logic programming, Communications of the ACM, 53:4, (74-85), Online publication date: 1-Apr-2010.
- Siek J The c++0x "concepts" effort Proceedings of the 2010 international spring school conference on Generic and Indexed Programming, (175-216)
- Toledo R, Leger P and Tanter É AspectScript Proceedings of the 9th International Conference on Aspect-Oriented Software Development, (13-24)
- Italiano G and Raman R Topics in data structures Algorithms and theory of computation handbook, (5-5)
- Matthews D and Wenzel M Efficient parallel programming in Poly/ML and Isabelle/ML Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming, (53-62)
- Lee T, Greenstreet M and Seger C (1995). Automatic Verification of Asynchronous Circuits, IEEE Design & Test, 12:1, (24-31), Online publication date: 1-Jan-2010.
- Strickland T and Felleisen M (2009). Contracts for first-class modules, ACM SIGPLAN Notices, 44:12, (27-38), Online publication date: 25-Dec-2009.
- Hidalgo-Herrero M and Ortega-Mallén Y (2009). To be or not to be ...lazy (In a Parallel Context), Electronic Notes in Theoretical Computer Science (ENTCS), 258:1, (21-39), Online publication date: 1-Dec-2009.
- Strickland T and Felleisen M Contracts for first-class modules Proceedings of the 5th symposium on Dynamic languages, (27-38)
- Cook W On understanding data abstraction, revisited Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (557-572)
- Bloom B, Field J, Nystrom N, Östlund J, Richards G, Strniša R, Vitek J and Wrigstad T Thorn Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (117-136)
- Cook W (2009). On understanding data abstraction, revisited, ACM SIGPLAN Notices, 44:10, (557-572), Online publication date: 25-Oct-2009.
- Bloom B, Field J, Nystrom N, Östlund J, Richards G, Strniša R, Vitek J and Wrigstad T (2009). Thorn, ACM SIGPLAN Notices, 44:10, (117-136), Online publication date: 25-Oct-2009.
- Hosoya H, Frisch A and Castagna G (2009). Parametric polymorphism for XML, ACM Transactions on Programming Languages and Systems, 32:1, (1-56), Online publication date: 1-Oct-2009.
- Eastlund C and Felleisen M Making induction manifest in modular ACL2 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, (105-116)
- Arbiser A, Miquel A and RÍos A (2009). The λ-calculus with constructors, Journal of Functional Programming, 19:5, (581-631), Online publication date: 1-Sep-2009.
- Yoneki E, Baltopoulos I and Crowcroft J D3N Proceedings of the 1st ACM workshop on Networking, systems, and applications for mobile handhelds, (43-48)
- Miller D (2009). Formalizing Operational Semantic Specifications in Logic, Electronic Notes in Theoretical Computer Science (ENTCS), 246, (147-165), Online publication date: 1-Aug-2009.
- Murawski A and Tzevelekos N Full Abstraction for Reduced ML Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures - Volume 5504, (32-47)
- Qi X and Myers A (2009). Masked types for sound object initialization, ACM SIGPLAN Notices, 44:1, (53-65), Online publication date: 21-Jan-2009.
- Qi X and Myers A Masked types for sound object initialization Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (53-65)
- Corin R, Deniélou P, Fournet C, Bhargavan K and Leifer J (2008). A secure compiler for session abstractions, Journal of Computer Security, 16:5, (573-636), Online publication date: 1-Nov-2008.
- Maranget L Compiling pattern matching to good decision trees Proceedings of the 2008 ACM SIGPLAN workshop on ML, (35-46)
- Teller D, Spiwack A and Varoquaux T Catch me if you can Proceedings of the 20th international conference on Implementation and application of functional languages, (246-271)
- Siek J and Vachharajani M Gradual typing with unification-based inference Proceedings of the 2008 symposium on Dynamic languages, (1-12)
- Ayav T, Fradet P and Girault A (2008). Implementing fault-tolerance in real-time programs by automatic program transformations, ACM Transactions on Embedded Computing Systems, 7:4, (1-43), Online publication date: 1-Jul-2008.
- Xing C (2008). Enhancing the learning and teaching of functions through programming in ML, Journal of Computing Sciences in Colleges, 23:4, (97-104), Online publication date: 1-Apr-2008.
- Corin R and Deniélou P A protocol compiler for secure sessions in ML Proceedings of the 3rd conference on Trustworthy global computing, (276-293)
- Guha A, Matthews J, Findler R and Krishnamurthi S Relationally-parametric polymorphic contracts Proceedings of the 2007 symposium on Dynamic languages, (29-40)
- Zalewski M and Schupp S C++ concepts as institutions Proceedings of the 2007 Symposium on Library-Centric Software Design, (76-87)
- Herman D Functional pearl Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, (157-164)
- Sewell P, Nardelli F, Owens S, Peskine G, Ridge T, Sarkar S and Strniša R Ott Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, (1-12)
- Rossberg A, Tack G and Kornstaedt L Status report Proceedings of the 2007 workshop on Workshop on ML, (25-36)
- Herman D (2007). Functional pearl, ACM SIGPLAN Notices, 42:9, (157-164), Online publication date: 1-Oct-2007.
- Sewell P, Nardelli F, Owens S, Peskine G, Ridge T, Sarkar S and Strniša R (2007). Ott, ACM SIGPLAN Notices, 42:9, (1-12), Online publication date: 1-Oct-2007.
- Honda K and Yoshida N (2007). A uniform type structure for secure information flow, ACM Transactions on Programming Languages and Systems, 29:6, (31-es), Online publication date: 1-Oct-2007.
- Luszczek P and Dongarra J (2007). High Performance Development for High End Computing With Python Language Wrapper (PLW), International Journal of High Performance Computing Applications, 21:3, (360-369), Online publication date: 1-Aug-2007.
- Hudak P, Hughes J, Peyton Jones S and Wadler P A history of Haskell Proceedings of the third ACM SIGPLAN conference on History of programming languages, (12-1-12-55)
- Gregor D, Järvi J, Siek J, Stroustrup B, Dos Reis G and Lumsdaine A Concepts Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (291-310)
- Ayav T, Fradet P and Girault A Implementing fault-tolerance in real-time systems by automatic program transformations Proceedings of the 6th ACM & IEEE International conference on Embedded software, (205-214)
- Gregor D, Järvi J, Siek J, Stroustrup B, Dos Reis G and Lumsdaine A (2006). Concepts, ACM SIGPLAN Notices, 41:10, (291-310), Online publication date: 16-Oct-2006.
- Deniélou P and Leifer J Abstraction preservation and subtyping in distributed languages Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, (286-297)
- Deniélou P and Leifer J (2006). Abstraction preservation and subtyping in distributed languages, ACM SIGPLAN Notices, 41:9, (286-297), Online publication date: 16-Sep-2006.
- Woop S, Marmitt G and Slusallek P B-KD trees for hardware accelerated ray tracing of dynamic scenes Proceedings of the 21st ACM SIGGRAPH/EUROGRAPHICS symposium on Graphics hardware, (67-77)
- McLaughlin S An interpretation of Isabelle/HOL in HOL light Proceedings of the Third international joint conference on Automated Reasoning, (192-204)
- Arbiser A, Miquel A and Ríos A A lambda-calculus with constructors Proceedings of the 17th international conference on Term Rewriting and Applications, (181-196)
- Siek J and Taha W A semantic analysis of c++ templates Proceedings of the 20th European conference on Object-Oriented Programming, (304-327)
- Westergaard M and Lassen K The BRITNeY suite animation tool Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency, (431-440)
- Järvi J, Gregor D, Willcock J, Lumsdaine A and Siek J Algorithm specialization in generic programming Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation, (272-282)
- Järvi J, Gregor D, Willcock J, Lumsdaine A and Siek J (2006). Algorithm specialization in generic programming, ACM SIGPLAN Notices, 41:6, (272-282), Online publication date: 11-Jun-2006.
- Almendros-Jiménez J and Becerra-Terón A (2006). Database query languages and functional logic programming, New Generation Computing, 24:2, (129-184), Online publication date: 1-Jun-2006.
- Liu J, Kimball A and Myers A (2006). Interruptible iterators, ACM SIGPLAN Notices, 41:1, (283-294), Online publication date: 12-Jan-2006.
- Liu J, Kimball A and Myers A Interruptible iterators Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (283-294)
- Gutnik G and Kaminka G (2006). Representing conversations for scalable overhearing, Journal of Artificial Intelligence Research, 25:1, (349-387), Online publication date: 1-Jan-2006.
- Tschantz M and Ernst M Javari Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (211-230)
- Tschantz M and Ernst M (2005). Javari, ACM SIGPLAN Notices, 40:10, (211-230), Online publication date: 12-Oct-2005.
- Berghammer R and Huch F From functional to object-oriented programming Proceedings of the 2005 workshop on Functional and declarative programming in education, (3-8)
- Siek J and Lumsdaine A Essential language support for generic programming Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (73-84)
- Siek J and Lumsdaine A (2005). Essential language support for generic programming, ACM SIGPLAN Notices, 40:6, (73-84), Online publication date: 12-Jun-2005.
- Bry F, Ries F and Spranger S CaTTS Proceedings of the 14th international conference on World Wide Web, (702-711)
- Dougherty D, Lescanne P, Liquori L and Lang F (2005). Addressed Term Rewriting Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 127:5, (57-82), Online publication date: 1-May-2005.
- Jeffrey A and Rathke J Java JR Proceedings of the 14th European conference on Programming Languages and Systems, (423-438)
- Tsukada Y (2005). Interactive and Probabilistic Proof of Mobile Code Safety, Automated Software Engineering, 12:2, (237-257), Online publication date: 1-Apr-2005.
- Xing C and Belkhouche B The movable point problem and its resolution in object type graphs Proceedings of the 43rd annual Southeast regional conference - Volume 2, (315-320)
- Glauert J, Kesner D and Khasidashvili Z Expression reduction systems and extensions Processes, Terms and Cycles, (496-553)
- Nystrom N, Chong S and Myers A Scalable extensibility via nested inheritance Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (99-115)
- Birka A and Ernst M A practical type system and language for reference immutability Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (35-49)
- von Dincklage D and Diwan A Converting Java classes to use generics Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-14)
- Nystrom N, Chong S and Myers A (2004). Scalable extensibility via nested inheritance, ACM SIGPLAN Notices, 39:10, (99-115), Online publication date: 1-Oct-2004.
- Birka A and Ernst M (2004). A practical type system and language for reference immutability, ACM SIGPLAN Notices, 39:10, (35-49), Online publication date: 1-Oct-2004.
- von Dincklage D and Diwan A (2004). Converting Java classes to use generics, ACM SIGPLAN Notices, 39:10, (1-14), Online publication date: 1-Oct-2004.
- Kristensen L and Christensen S (2004). Implementing Coloured Petri Nets Using a Functional Programming Language, Higher-Order and Symbolic Computation, 17:3, (207-243), Online publication date: 1-Sep-2004.
- Honda K and Yoshida N A compositional logic for polymorphic higher-order functions Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, (191-202)
- Glesner S and Zimmermann W (2004). Natural semantics as a static program analysis framework, ACM Transactions on Programming Languages and Systems, 26:3, (510-577), Online publication date: 1-May-2004.
- Zatarain R and Stansifer R A model of CPS translation and interpretation Proceedings of the 42nd annual Southeast regional conference, (326-331)
- Tarditi D, Morrisett G, Cheng P, Stone C, Harper R and Lee P (2004). TIL, ACM SIGPLAN Notices, 39:4, (554-567), Online publication date: 1-Apr-2004.
- Cartwright R and Fagan M (2004). Soft typing, ACM SIGPLAN Notices, 39:4, (412-428), Online publication date: 1-Apr-2004.
- Poetzsch-Heffter A and Rauch N Application and formal specification of sorted term-position algebras Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques, (201-217)
- Zhang Y and Xu B (2004). A survey of semantic description frameworks for programming languages, ACM SIGPLAN Notices, 39:3, (14-30), Online publication date: 1-Mar-2004.
- Fähndrich M and Leino K (2003). Declaring and checking non-null types in an object-oriented language, ACM SIGPLAN Notices, 38:11, (302-312), Online publication date: 26-Nov-2003.
- Corwin J, Bacon D, Grove D and Murthy C (2003). MJ, ACM SIGPLAN Notices, 38:11, (241-254), Online publication date: 26-Nov-2003.
- Scholz S (2003). Single Assignment C: efficient support for high-level array operations in a functional setting, Journal of Functional Programming, 13:6, (1005-1059), Online publication date: 1-Nov-2003.
- Hosoya H and Pierce B (2003). Regular expression pattern matching for XML, Journal of Functional Programming, 13:6, (961-1004), Online publication date: 1-Nov-2003.
- Fähndrich M and Leino K Declaring and checking non-null types in an object-oriented language Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (302-312)
- Corwin J, Bacon D, Grove D and Murthy C MJ Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (241-254)
- Leifer J, Peskine G, Sewell P and Wansbrough K (2003). Global abstraction-safe marshalling with hash types, ACM SIGPLAN Notices, 38:9, (87-98), Online publication date: 25-Sep-2003.
- Choppella V Polymorphic type reconstruction using type equations Proceedings of the 15th international conference on Implementation of Functional Languages, (53-68)
- Carlsson R Parameterized modules in Erlang Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, (29-35)
- Leifer J, Peskine G, Sewell P and Wansbrough K Global abstraction-safe marshalling with hash types Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, (87-98)
- Gava F and Loulergue F A parallel virtual machine for bulk synchronous parallel ML Proceedings of the 1st international conference on Computational science: PartI, (155-164)
- Liu Y and Stoller S (2003). Eliminating dead code on recursive data, Science of Computer Programming, 47:2-3, (221-242), Online publication date: 1-May-2003.
- Moreau P, Ringeissen C and Vittek M A pattern matching compiler for multiple target languages Proceedings of the 12th international conference on Compiler construction, (61-76)
- Berger M, Honda K and Yoshida N Genericity and the π-calculus Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software, (103-119)
- Glesner S ASMs versus natural semantics Proceedings of the abstract state machines 10th international conference on Advances in theory and practice, (293-309)
- Dreyer D, Crary K and Harper R (2003). A type system for higher-order modules, ACM SIGPLAN Notices, 38:1, (236-249), Online publication date: 15-Jan-2003.
- Dreyer D, Crary K and Harper R A type system for higher-order modules Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (236-249)
- Glynn K, Stuckey P, Sulzmann M and Søndergaard H Exception analysis for non-strict languages Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (98-109)
- Findler R and Felleisen M Contracts for higher-order functions Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (48-59)
- Glynn K, Stuckey P, Sulzmann M and Søndergaard H (2002). Exception analysis for non-strict languages, ACM SIGPLAN Notices, 37:9, (98-109), Online publication date: 17-Sep-2002.
- Findler R and Felleisen M (2002). Contracts for higher-order functions, ACM SIGPLAN Notices, 37:9, (48-59), Online publication date: 17-Sep-2002.
- Whittle J, Bundy A and Boulton R (2002). Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor, Formal Aspects of Computing, 13:3-5, (403-421), Online publication date: 1-Jul-2002.
- Jim T, Morrisett J, Grossman D, Hicks M, Cheney J and Wang Y Cyclone Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference, (275-288)
- Nielson H and Nielson F Flow logic The essence of computation, (223-244)
- Liu Y and Gómez G (2001). Automatic Accurate Cost-Bound Analysis for High-Level Languages, IEEE Transactions on Computers, 50:12, (1295-1309), Online publication date: 1-Dec-2001.
- Biagioni E, Harper R and Lee P (2001). A Network Protocol Stack in Standard ML, Higher-Order and Symbolic Computation, 14:4, (309-356), Online publication date: 1-Dec-2001.
- Duggan D (2001). Type-based hot swapping of running modules (extended abstract), ACM SIGPLAN Notices, 36:10, (62-73), Online publication date: 1-Oct-2001.
- Duggan D Type-based hot swapping of running modules (extended abstract) Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, (62-73)
- Hashimoto M and Ohori A (2001). A typed context calculus, Theoretical Computer Science, 266:1-2, (249-272), Online publication date: 6-Sep-2001.
- Alexander D, Arbaugh W, Keromytis A and Smith J Security in active networks Secure Internet programming, (433-451)
- Palsberg J Type-based analysis and applications Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (20-27)
- Hosoya H and Pierce B (2001). Regular expression pattern matching for XML, ACM SIGPLAN Notices, 36:3, (67-80), Online publication date: 1-Mar-2001.
- Hosoya H and Pierce B Regular expression pattern matching for XML Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (67-80)
- Okasaki C (2000). Breadth-first numbering, ACM SIGPLAN Notices, 35:9, (131-136), Online publication date: 1-Sep-2000.
- Okasaki C Breadth-first numbering Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, (131-136)
- Di Blasio P, Fisher K and Talcott C (2000). A Control-Flow Analysis for a Calculus of Concurrent Objects, IEEE Transactions on Software Engineering, 26:7, (617-634), Online publication date: 1-Jul-2000.
- Jeffrey A and Rathke J A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
- Mortensen K Automatic code generation method based on coloured Petri net models applied on an access control system Proceedings of the 21st international conference on Application and theory of petri nets, (367-386)
- Schmidt D (2000). Induction, Domains, Calculi, Higher-Order and Symbolic Computation, 13:1-2, (89-101), Online publication date: 1-Apr-2000.
- Su Z, Fähndrich M and Aiken A Projection merging Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (81-95)
- Naraschewski W and Nipkow T (1999). Type Inference Verified, Journal of Automated Reasoning, 23:3, (299-318), Online publication date: 1-Nov-1999.
- Lipkind I, Pechtchanski I and Karamcheti V (1999). Object views, ACM SIGPLAN Notices, 34:10, (447-460), Online publication date: 1-Oct-1999.
- Lipkind I, Pechtchanski I and Karamcheti V Object views Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (447-460)
- Gordon A, Hankin P and Lassen S (1999). Compilation and equivalence of imperative objects, Journal of Functional Programming, 9:4, (373-426), Online publication date: 1-Jul-1999.
- Lillibridge M (1999). Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC, Higher-Order and Symbolic Computation, 12:1, (75-104), Online publication date: 1-Apr-1999.
- Loveland D (1999). Automated Deduction, AI Magazine, 20:1, (77-98), Online publication date: 1-Mar-1999.
- Huelsbergen L and Winterbottom P (1998). Very concurrent mark-&-sweep garbage collection without fine-grain synchronization, ACM SIGPLAN Notices, 34:3, (166-175), Online publication date: 1-Mar-1999.
- Fränzle M and Müller-Olm M Compilation and Synthesis for Real-Time Embedded Controllers Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (256-287)
- Augustsson L (1998). Cayenne—a language with dependent types, ACM SIGPLAN Notices, 34:1, (239-250), Online publication date: 1-Jan-1999.
- Nordlander J (1998). Pragmatic subtyping in polymorphic languages, ACM SIGPLAN Notices, 34:1, (216-227), Online publication date: 1-Jan-1999.
- Shao Z (1998). Typed cross-module compilation, ACM SIGPLAN Notices, 34:1, (141-152), Online publication date: 1-Jan-1999.
- Wadler P (1998). The marriage of effects and monads, ACM SIGPLAN Notices, 34:1, (63-74), Online publication date: 1-Jan-1999.
- Stark I (1998). Names, Equations, Relations: Practical Ways to Reason about new, Fundamenta Informaticae, 33:4, (369-396), Online publication date: 1-Dec-1998.
- Leavens G and Millstein T (1998). Multiple dispatch as dispatch on Tuples, ACM SIGPLAN Notices, 33:10, (374-387), Online publication date: 1-Oct-1998.
- Leavens G and Millstein T Multiple dispatch as dispatch on Tuples Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (374-387)
- Huelsbergen L and Winterbottom P Very concurrent mark-&-sweep garbage collection without fine-grain synchronization Proceedings of the 1st international symposium on Memory management, (166-175)
- Moreau L (1998). A Syntactic Theory of Dynamic Binding, Higher-Order and Symbolic Computation, 11:3, (233-279), Online publication date: 1-Oct-1998.
- Augustsson L Cayenne—a language with dependent types Proceedings of the third ACM SIGPLAN international conference on Functional programming, (239-250)
- Nordlander J Pragmatic subtyping in polymorphic languages Proceedings of the third ACM SIGPLAN international conference on Functional programming, (216-227)
- Shao Z Typed cross-module compilation Proceedings of the third ACM SIGPLAN international conference on Functional programming, (141-152)
- Wadler P The marriage of effects and monads Proceedings of the third ACM SIGPLAN international conference on Functional programming, (63-74)
- Bantchev B (1998). Putting more meaning in expressions, ACM SIGPLAN Notices, 33:9, (77-83), Online publication date: 1-Sep-1998.
- Hatcliff J (1998). Foundations for partial evaluation of functional programs with computational effects, ACM Computing Surveys, 30:3es, (13-es), Online publication date: 1-Sep-1998.
- Biagioni E, Cline K, Lee P, Okasaki C and Stone C (1998). Safe-for-Space Threads in Standard ML, Higher-Order and Symbolic Computation, 11:2, (209-225), Online publication date: 1-Sep-1998.
- Jones N, Gomard C and Sestoft P Partial Evaluation for the Lambda Calculus Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, (203-220)
- Fähndrich M, Foster J, Su Z and Aiken A (1998). Partial online cycle elimination in inclusion constraint graphs, ACM SIGPLAN Notices, 33:5, (85-96), Online publication date: 1-May-1998.
- Fähndrich M, Foster J, Su Z and Aiken A Partial online cycle elimination in inclusion constraint graphs Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (85-96)
- Peyton Jones S, Shields M, Launchbury J and Tolmach A Bridging the gulf Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (49-61)
- Ford B, Back G, Benson G, Lepreau J, Lin A and Shivers O (1997). The Flux OSKit, ACM SIGOPS Operating Systems Review, 31:5, (38-51), Online publication date: 1-Dec-1997.
- Dinesh T and Tip F A slicing-based approach for locating type errors Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, (7-7)
- Ford B, Back G, Benson G, Lepreau J, Lin A and Shivers O The Flux OSKit Proceedings of the sixteenth ACM symposium on Operating systems principles, (38-51)
- McAdam B (1997). BigTypes in ML (poster), ACM SIGPLAN Notices, 32:8, (316), Online publication date: 1-Aug-1997.
- Fähndrich M and Boyland J (1997). Statically checkable pattern abstractions, ACM SIGPLAN Notices, 32:8, (75-84), Online publication date: 1-Aug-1997.
- Erwig M (1997). Functional programming with graphs, ACM SIGPLAN Notices, 32:8, (52-65), Online publication date: 1-Aug-1997.
- Gasser K, Nielson F and Nielson H (1997). Systematic realisation of control flow analyses for CML, ACM SIGPLAN Notices, 32:8, (38-51), Online publication date: 1-Aug-1997.
- McAdam B BigTypes in ML (poster) Proceedings of the second ACM SIGPLAN international conference on Functional programming
- Fähndrich M and Boyland J Statically checkable pattern abstractions Proceedings of the second ACM SIGPLAN international conference on Functional programming, (75-84)
- Erwig M Functional programming with graphs Proceedings of the second ACM SIGPLAN international conference on Functional programming, (52-65)
- Gasser K, Nielson F and Nielson H Systematic realisation of control flow analyses for CML Proceedings of the second ACM SIGPLAN international conference on Functional programming, (38-51)
- Steensgaard-Madsen J A Generator for Composition Interpreters Proceedings of the Workshops on Object-Oriented Technology, (369-373)
- Blelloch G and Reid-Miller M Pipelining with futures Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures, (249-259)
- Ohori A and Takamizawa T (1997). An Unboxed Operational Semantics for ML Polymorphism, Lisp and Symbolic Computation, 10:1, (61-91), Online publication date: 1-Jun-1997.
- Heintze N and McAllester D (1997). Linear-time subtransitive control flow analysis, ACM SIGPLAN Notices, 32:5, (261-272), Online publication date: 1-May-1997.
- Heintze N and McAllester D Linear-time subtransitive control flow analysis Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation, (261-272)
- Matsuura S, Kuruma H and Honiden S (1997). EVA, IEEE Transactions on Software Engineering, 23:5, (296-313), Online publication date: 1-May-1997.
- Dean D The security of static typing with dynamic linking Proceedings of the 4th ACM conference on Computer and communications security, (18-27)
- Ishino A and Yamamoto A (1997). Generalizations in type equational programming and their application to learning functions, New Generation Computing, 15:1, (85-103), Online publication date: 1-Mar-1997.
- Biswas S A demand-driven set-based analysis Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (372-385)
- Rehof J Minimal typings in atomic subtyping Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (278-291)
- Bank J, Myers A and Liskov B Parameterized types for Java Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (132-145)
- Thomsen B (1996). Programming languages, analysis tools, and concurrency theory, ACM Computing Surveys, 28:4es, (57-es), Online publication date: 1-Dec-1996.
- Mason D A functional intermediate form for diverse source languages Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
- van Renesse R (1996). Masking the overhead of protocol layering, ACM SIGCOMM Computer Communication Review, 26:4, (96-104), Online publication date: 1-Oct-1996.
- van Renesse R Masking the overhead of protocol layering Conference proceedings on Applications, technologies, architectures, and protocols for computer communications, (96-104)
- Yi K, Ryu S and Pyun K Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations Proceedings of the 20th Conference on Computer Software and Applications
- Huelsbergen L Toward simulated evolution of machine-language iteration Proceedings of the 1st annual conference on genetic programming, (315-320)
- Hillebrand G and Kanellakis P On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
- Lee S and Friedman D (1996). Enriching the lambda calculus with contexts, ACM SIGPLAN Notices, 31:6, (239-250), Online publication date: 15-Jun-1996.
- Lee S and Friedman D Enriching the lambda calculus with contexts Proceedings of the first ACM SIGPLAN international conference on Functional programming, (239-250)
- Nielson F and Nielson H (1996). Operational semantics of termination types, Nordic Journal of Computing, 3:2, (144-187), Online publication date: 1-Jun-1996.
- Tarditi D, Morrisett G, Cheng P, Stone C, Harper R and Lee P (1996). TIL, ACM SIGPLAN Notices, 31:5, (181-192), Online publication date: 1-May-1996.
- Reppy J and Riecke J (1996). Simple objects for Standard ML, ACM SIGPLAN Notices, 31:5, (171-180), Online publication date: 1-May-1996.
- Tarditi D, Morrisett G, Cheng P, Stone C, Harper R and Lee P TIL Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (181-192)
- Reppy J and Riecke J Simple objects for Standard ML Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (171-180)
- Blelloch G (1996). Programming parallel algorithms, Communications of the ACM, 39:3, (85-97), Online publication date: 1-Mar-1996.
- Honda K Composing processes Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (344-357)
- Liskov B A history of CLU History of programming languages---II, (471-510)
- Lindsey C A history of ALGOL 68 History of programming languages---II, (27-96)
- Gustafsson J, Post K, Mäki-Turja J and Brorsson E (1996). Benefits of type inference for an object-oriented real-time language, ACM SIGPLAN OOPS Messenger, 7:1, (28-35), Online publication date: 1-Jan-1996.
- Okasaki C Purely functional random-access lists Proceedings of the seventh international conference on Functional programming languages and computer architecture, (86-95)
- Gunter C, Rémy D and Riecke J A generalization of exceptions and control in ML-like languages Proceedings of the seventh international conference on Functional programming languages and computer architecture, (12-23)
- Buneman P, Davidson S, Hart K, Overton G and Wong L A Data Transformation System for Biological Data Sources Proceedings of the 21th International Conference on Very Large Data Bases, (158-169)
- Buhler J (1995). The Fox Project, XRDS: Crossroads, The ACM Magazine for Students, 2:1, (12-18), Online publication date: 1-Sep-1995.
- Wong L (1995). An introduction to Remy's fast polymorphic record projection, ACM SIGMOD Record, 24:3, (34-39), Online publication date: 1-Sep-1995.
- Brewer E (1995). High-level optimization via automated statistical modeling, ACM SIGPLAN Notices, 30:8, (80-91), Online publication date: 1-Aug-1995.
- Brewer E High-level optimization via automated statistical modeling Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming, (80-91)
- Thompson S (1995). A logic for Miranda, revisited, Formal Aspects of Computing, 7:4, (412-429), Online publication date: 1-Jul-1995.
- Läufer K A framework for higher-order functions in C++ Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS), (8-8)
- Aiken A, Fähndrich M and Levien R Better static memory management Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, (174-185)
- Shao Z and Appel A A type-based compiler for standard ML Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, (116-129)
- Aiken A, Fähndrich M and Levien R (1995). Better static memory management, ACM SIGPLAN Notices, 30:6, (174-185), Online publication date: 1-Jun-1995.
- Shao Z and Appel A (1995). A type-based compiler for standard ML, ACM SIGPLAN Notices, 30:6, (116-129), Online publication date: 1-Jun-1995.
- Luckham D, Kenney J, Augustin L, Vera J, Bryan D and Mann W (1995). Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, 21:4, (336-355), Online publication date: 1-Apr-1995.
- Jagannathan S and Weeks S A unified treatment of flow analysis in higher-order languages Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (393-407)
- Liang S, Hudak P and Jones M Monad transformers and modular interpreters Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (333-343)
- Biswas S Higher-order functors with transparent signatures Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (154-163)
- Leroy X Applicative functors and fully transparent higher-order modules Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (142-153)
- Harper R and Morrisett G Compiling polymorphism using intensional type analysis Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (130-141)
- Dubois C, Rouaix F and Weis P Extensional polymorphism Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (118-129)
- Ramsdell J (1994). Scheme, ACM SIGPLAN Lisp Pointers, VII:4, (13-14), Online publication date: 1-Oct-1994.
- Plevyak J and Chien A (1994). Precise concrete type inference for object-oriented languages, ACM SIGPLAN Notices, 29:10, (324-340), Online publication date: 1-Oct-1994.
- Chambers C and Leavens G (1994). Typechecking and modules for multi-methods, ACM SIGPLAN Notices, 29:10, (1-15), Online publication date: 1-Oct-1994.
- Plevyak J and Chien A Precise concrete type inference for object-oriented languages Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (324-340)
- Chambers C and Leavens G Typechecking and modules for multi-methods Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (1-15)
- Biagioni E (1994). A structured TCP in standard ML., ACM SIGCOMM Computer Communication Review, 24:4, (36-45), Online publication date: 1-Oct-1994.
- Biagioni E A structured TCP in standard ML. Proceedings of the conference on Communications architectures, protocols and applications, (36-45)
- Barja M, Paton N, Fernandes A, Williams M and Dinn A An Effective Deductive Object-Oriented Database Through Language Integration Proceedings of the 20th International Conference on Very Large Data Bases, (463-474)
- Jenks R and Trager B How to make AXIOM into a scratchpad Proceedings of the international symposium on Symbolic and algebraic computation, (32-40)
- Kahrs S, Sannella D and Tarlecki A (1994). Interfaces and extended ML, ACM SIGPLAN Notices, 29:8, (111-118), Online publication date: 1-Aug-1994.
- Katiyar D, Luckham D and Mitchell J (1994). Polymorphism and subtyping in interface, ACM SIGPLAN Notices, 29:8, (22-34), Online publication date: 1-Aug-1994.
- Kahrs S, Sannella D and Tarlecki A Interfaces and extended ML Proceedings of the Workshop on Interface Definition Languages, (111-118)
- Katiyar D, Luckham D and Mitchell J Polymorphism and subtyping in interface Proceedings of the Workshop on Interface Definition Languages, (22-34)
- Suciu D and Tannen V Efficient compilation of high-level data parallel algorithms Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures, (57-66)
- Reinhold M Cache performance of garbage-collected programs Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (206-217)
- Appel A and MacQueen D Separate compilation for Standard ML Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (13-23)
- Heintze N (1994). Set-based analysis of ML programs, ACM SIGPLAN Lisp Pointers, VII:3, (306-317), Online publication date: 1-Jul-1994.
- Shao Z and Appel A (1994). Space-efficient closure representations, ACM SIGPLAN Lisp Pointers, VII:3, (150-161), Online publication date: 1-Jul-1994.
- Heintze N Set-based analysis of ML programs Proceedings of the 1994 ACM conference on LISP and functional programming, (306-317)
- Shao Z and Appel A Space-efficient closure representations Proceedings of the 1994 ACM conference on LISP and functional programming, (150-161)
- Reinhold M (1994). Cache performance of garbage-collected programs, ACM SIGPLAN Notices, 29:6, (206-217), Online publication date: 1-Jun-1994.
- Appel A and MacQueen D (1994). Separate compilation for Standard ML, ACM SIGPLAN Notices, 29:6, (13-23), Online publication date: 1-Jun-1994.
- Buneman P, Libkin L, Suciu D, Tannen V and Wong L (1994). Comprehension syntax, ACM SIGMOD Record, 23:1, (87-96), Online publication date: 1-Mar-1994.
- Tofte M and Talpin J Implementation of the typed call-by-value λ-calculus using a stack of regions Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (188-201)
- Harper R and Lillibridge M A type-theoretic approach to higher-order modules with sharing Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (123-137)
- Diwan A, Tarditi D and Moss E Memory subsystem performance of programs using copying garbage collection Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (1-14)
- Nielson H and Nielson F Higher-order concurrent programs with finite communication topology (extended abstract) Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (84-97)
- Saraiya Y Projection-propagation in complex-object query languages Proceedings of the second international conference on Information and knowledge management, (413-422)
- Dehbonei B and Mejia F (1993). Verification of proofs for the B formal development process, ACM SIGPLAN Notices, 28:11, (16-21), Online publication date: 1-Nov-1993.
- Bracha G and Griswold D (1993). Strongtalk, ACM SIGPLAN Notices, 28:10, (215-230), Online publication date: 1-Oct-1993.
- Bracha G and Griswold D Strongtalk Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (215-230)
- Mellish C and Reiter E Using classification as a programming language Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1, (696-701)
- Huelsbergen L and Larus J A concurrent copying garbage collector for languages that distinguish (im)mutable data Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming, (73-82)
- Mogensen T Constructor specialization Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (22-32)
- Huelsbergen L and Larus J (1993). A concurrent copying garbage collector for languages that distinguish (im)mutable data, ACM SIGPLAN Notices, 28:7, (73-82), Online publication date: 1-Jul-1993.
- Page R and Moe B Experience with a large scientific application in a functional language Proceedings of the conference on Functional programming languages and computer architecture, (3-11)
- Lindsey C A history of ALGOL 68 The second ACM SIGPLAN conference on History of programming languages, (97-132)
- Lee S and Friedman D Quasi-static scoping Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (479-492)
- Aponte M Extending record typing to type parametric modules with sharing Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (465-478)
- Nipkow T and Prehofer C Type checking type classes Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (409-418)
- Leroy X Polymorphism by name for references and continuations Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (220-231)
- Harper R and Lillibridge M Explicit polymorphism and CPS conversion Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (206-219)
- Klarlund N and Schwartzbach M Graph types Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (196-205)
- Doligez D and Leroy X A concurrent, generational garbage collector for a multithreaded implementation of ML Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (113-123)
- Lindsey C (1993). A history of ALGOL 68, ACM SIGPLAN Notices, 28:3, (97-132), Online publication date: 1-Mar-1993.
- Siegel E Applying high-level language paradigms to distributed systems Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, (1-7)
- Shen J and Cormack G (1992). On generic formal package parameters in Ada 9X, ACM SIGAda Ada Letters, XII:3, (110-116), Online publication date: 1-Jun-1992.
- Rich C and Feldman Y (1992). Seven Layers of Knowledge Representation and Reasoning in Support of Software Development, IEEE Transactions on Software Engineering, 18:6, (451-469), Online publication date: 1-Jun-1992.
- Tofte M Principal signatures for higher-order program modules Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (189-199)
- Ohori A A compilation method for ML-style polymorphic record calculi Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (154-165)
- Wadler P The essence of functional programming Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (1-14)
- Huelsbergen L and Larus J Dynamic program parallelization Proceedings of the 1992 ACM conference on LISP and functional programming, (311-323)
- Henglein F Global tagging optimization by type inference Proceedings of the 1992 ACM conference on LISP and functional programming, (205-215)
- Chirimar J, Gunter C and Riecke J Proving memory management invariants for a language based on linear logic Proceedings of the 1992 ACM conference on LISP and functional programming, (139-150)
- Mauny M and de Rauglaudre D Parsers in ML Proceedings of the 1992 ACM conference on LISP and functional programming, (76-85)
- Huelsbergen L and Larus J (1992). Dynamic program parallelization, ACM SIGPLAN Lisp Pointers, V:1, (311-323), Online publication date: 1-Jan-1992.
- Henglein F (1992). Global tagging optimization by type inference, ACM SIGPLAN Lisp Pointers, V:1, (205-215), Online publication date: 1-Jan-1992.
- Chirimar J, Gunter C and Riecke J (1992). Proving memory management invariants for a language based on linear logic, ACM SIGPLAN Lisp Pointers, V:1, (139-150), Online publication date: 1-Jan-1992.
- Mauny M and de Rauglaudre D (1992). Parsers in ML, ACM SIGPLAN Lisp Pointers, V:1, (76-85), Online publication date: 1-Jan-1992.
- Tolmach A and Appel A (1991). Debuggable concurrency extensions for standard ML, ACM SIGPLAN Notices, 26:12, (120-131), Online publication date: 1-Dec-1991.
- Tolmach A and Appel A Debuggable concurrency extensions for standard ML Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, (120-131)
- Chambers C and Ungar D (1991). Making pure object-oriented languages practical, ACM SIGPLAN Notices, 26:11, (1-15), Online publication date: 1-Nov-1991.
- Chambers C and Ungar D Making pure object-oriented languages practical Conference proceedings on Object-oriented programming systems, languages, and applications, (1-15)
- Agrawal H, DeMillo R and Spafford E Dynamic slicing in the presence of unconstrained pointers Proceedings of the symposium on Testing, analysis, and verification, (60-73)
- Leroy X and Weis P Polymorphic type inference and assignment Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (291-302)
- Duba B, Harper R and MacQueen D Typing first-class continuations in ML Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (163-173)
- Henglein F and Mairson H The complexity of type inference for higher-order lambda calculi Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (119-130)
- Puel L and Suarez A Compiling pattern matching by term decomposition Proceedings of the 1990 ACM conference on LISP and functional programming, (273-281)
- Tolmach A and Appel A Debugging standard ML without reverse engineering Proceedings of the 1990 ACM conference on LISP and functional programming, (1-12)
Recommendations
Compiling standard ML to Java bytecodes
ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programmingMLJ compiles SML'97 into verifier-compliant Java byte-codes. 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 ...
A separate compilation extension to standard ML
ML '06: Proceedings of the 2006 workshop on MLWe present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on one another in a way specified by the programmer. A dependency may be ...