Abstract
No abstract available.
Cited By
- 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)
- 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)
- 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)
- 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.
- 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)
- Antoy S and Hanus M (2010). Functional logic programming, Communications of the ACM, 53:4, (74-85), Online publication date: 1-Apr-2010.
- 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)
- Strickland T and Felleisen M (2009). Contracts for first-class modules, ACM SIGPLAN Notices, 44:12, (27-38), Online publication date: 25-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.
- 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)
- 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)
- Siek J and Vachharajani M Gradual typing with unification-based inference Proceedings of the 2008 symposium on Dynamic languages, (1-12)
- 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.
- 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)
- 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)
- 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.
- 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.
- 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 (2019). Algorithm specialization in generic programming, ACM SIGPLAN Notices, 41:6, (272-282), Online publication date: 11-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)
- 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-Jan-2006.
- Abramsky S (2005). A structural approach to reversible computation, Theoretical Computer Science, 347:3, (441-464), Online publication date: 1-Dec-2005.
- Tschantz M and Ernst M Javari Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (211-230)
- Järvi J, Willcock J and Lumsdaine A Associated types and constraint propagation for mainstream object-oriented generics Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-19)
- Tschantz M and Ernst M (2019). Javari, ACM SIGPLAN Notices, 40:10, (211-230), Online publication date: 12-Oct-2005.
- Järvi J, Willcock J and Lumsdaine A (2019). Associated types and constraint propagation for mainstream object-oriented generics, ACM SIGPLAN Notices, 40:10, (1-19), Online publication date: 12-Oct-2005.
- 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)
- Jeffrey A and Rathke J Java JR Proceedings of the 14th European conference on Programming Languages and Systems, (423-438)
- 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 (2019). Implementing Coloured Petri Nets Using a Functional Programming Language, Higher-Order and Symbolic Computation, 17:3, (207-243), Online publication date: 1-Sep-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.
- 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.
- 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)
- 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)
- Dreyer D, Crary K and Harper R (2019). 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)
- Sammet J and Mahoney M Software history Encyclopedia of Computer Science, (1613-1620)
- Connor R Abstract data type Encyclopedia of Computer Science, (1-5)
- Fernández M, Kadiyska Y, Suciu D, Morishima A and Tan W (2002). SilkRoute, ACM Transactions on Database Systems, 27:4, (438-493), Online publication date: 1-Dec-2002.
- 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 (2018). 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)
- Biagioni E, Harper R and Lee P (2019). A Network Protocol Stack in Standard ML, Higher-Order and Symbolic Computation, 14:4, (309-356), Online publication date: 1-Dec-2001.
- Jackson D, Shlyakhter I and Sridharan M A micromodularity mechanism Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (62-73)
- Jackson D, Shlyakhter I and Sridharan M (2001). A micromodularity mechanism, ACM SIGSOFT Software Engineering Notes, 26:5, (62-73), Online publication date: 1-Sep-2001.
- Marlow S, Jones S, Moran A and Reppy J Asynchronous exceptions in Haskell Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (274-285)
- Edwards S, Lavagno L, Lee E and Sangiovanni-Vincentelli A Design of embedded systems Readings in hardware/software co-design, (86-107)
- 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)
- Marlow S, Jones S, Moran A and Reppy J (2001). Asynchronous exceptions in Haskell, ACM SIGPLAN Notices, 36:5, (274-285), Online publication date: 1-May-2001.
- Alon N, Milo T, Neven F, Suciu D and Vianu V XML with data values Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (138-149)
- Sewell P (2001). Modules, abstract types, and distributed versioning, ACM SIGPLAN Notices, 36:3, (236-247), Online publication date: 1-Mar-2001.
- Sewell P Modules, abstract types, and distributed versioning Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (236-247)
- 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)
- Liblit B and Aiken A Type systems for distributed data structures Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (199-213)
- Lewis J, Launchbury J, Meijer E and Shields M Implicit parameters Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (108-118)
- 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)
- Liu X, Kreitz C, van Renesse R, Hickey J, Hayden M, Birman K and Constable R (1999). Building reliable, high-performance communication systems from components, ACM SIGOPS Operating Systems Review, 33:5, (80-92), Online publication date: 12-Dec-1999.
- Liu X, Kreitz C, van Renesse R, Hickey J, Hayden M, Birman K and Constable R Building reliable, high-performance communication systems from components Proceedings of the seventeenth ACM symposium on Operating systems principles, (80-92)
- Naraschewski W and Nipkow T (2019). Type Inference Verified, Journal of Automated Reasoning, 23:3, (299-318), Online publication date: 1-Nov-1999.
- Clark D and McCarron J (1999). Modules for Maple, ACM SIGSAM Bulletin, 33:3, (24-25), Online publication date: 1-Sep-1999.
- Shao Z (1999). Transparent modules with fully syntatic signatures, ACM SIGPLAN Notices, 34:9, (220-232), Online publication date: 1-Sep-1999.
- Ohori A and Yoshida N (1999). Type inference with rank 1 polymorphism for type-directed compilation of ML, ACM SIGPLAN Notices, 34:9, (160-171), Online publication date: 1-Sep-1999.
- Shao Z Transparent modules with fully syntatic signatures Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, (220-232)
- Ohori A and Yoshida N Type inference with rank 1 polymorphism for type-directed compilation of ML Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, (160-171)
- Blume M and Appel A (1999). Hierarchical modularity, ACM Transactions on Programming Languages and Systems (TOPLAS), 21:4, (813-847), Online publication date: 1-Jul-1999.
- Blume M (1999). Dependency analysis for Standard ML, ACM Transactions on Programming Languages and Systems (TOPLAS), 21:4, (790-812), Online publication date: 1-Jul-1999.
- Nishimura S and Ohori A (2019). Parallel functional programming on recursively defined data via data-parallel recursion, Journal of Functional Programming, 9:4, (427-462), Online publication date: 1-Jul-1999.
- Lillibridge M (2019). 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.
- Penix J and Alexander P (1999). Efficient Specification-Based Component Retrieval, Automated Software Engineering, 6:2, (139-170), Online publication date: 1-Apr-1999.
- Huelsbergen L and Winterbottom P (2019). Very concurrent mark-&-sweep garbage collection without fine-grain synchronization, ACM SIGPLAN Notices, 34:3, (166-175), Online publication date: 1-Mar-1999.
- Duggan D (1999). Dynamic typing for distributed programming in polymorphic languages, ACM Transactions on Programming Languages and Systems (TOPLAS), 21:1, (11-45), Online publication date: 1-Jan-1999.
- Xi H and Pfenning F Dependent types in practical programming Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (214-227)
- Kfoury A and Wells J Principality and decidable type inference for finite-rank intersection types Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (161-174)
- Augustsson L (2019). 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 (2019). Typed cross-module compilation, ACM SIGPLAN Notices, 34:1, (141-152), Online publication date: 1-Jan-1999.
- Findler R and Flatt M (2019). Modular object-oriented programming with units and mixins, ACM SIGPLAN Notices, 34:1, (94-104), Online publication date: 1-Jan-1999.
- Wadler P (2019). The marriage of effects and monads, ACM SIGPLAN Notices, 34:1, (63-74), Online publication date: 1-Jan-1999.
- Kieburtz R (2019). Taming effects with monadic typing, ACM SIGPLAN Notices, 34:1, (51-62), Online publication date: 1-Jan-1999.
- Visser E, Benaissa Z and Tolmach A (2019). Building program optimizers with rewriting strategies, ACM SIGPLAN Notices, 34:1, (13-26), Online publication date: 1-Jan-1999.
- Stark I (2019). Names, Equations, Relations: Practical Ways to Reason about new, Fundamenta Informaticae, 33:4, (369-396), Online publication date: 1-Dec-1998.
- Citron D, Feitelson D and Rudolph L (1998). Accelerating multi-media processing by implementing memoing in multiplication and division units, ACM SIGOPS Operating Systems Review, 32:5, (252-261), Online publication date: 1-Dec-1998.
- Palsberg J (1998). Equality-based flow analysis versus recursive types, ACM Transactions on Programming Languages and Systems (TOPLAS), 20:6, (1251-1264), Online publication date: 1-Nov-1998.
- Krishnamurthi S and Felleisen M (2019). Toward a formal theory of extensible software, ACM SIGSOFT Software Engineering Notes, 23:6, (88-98), Online publication date: 1-Nov-1998.
- Citron D, Feitelson D and Rudolph L (1998). Accelerating multi-media processing by implementing memoing in multiplication and division units, ACM SIGPLAN Notices, 33:11, (252-261), Online publication date: 1-Nov-1998.
- Krishnamurthi S and Felleisen M Toward a formal theory of extensible software Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (88-98)
- Citron D, Feitelson D and Rudolph L Accelerating multi-media processing by implementing memoing in multiplication and division units Proceedings of the eighth international conference on Architectural support for programming languages and operating systems, (252-261)
- Leavens G and Millstein T (2019). 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 (2019). 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)
- Findler R and Flatt M Modular object-oriented programming with units and mixins Proceedings of the third ACM SIGPLAN international conference on Functional programming, (94-104)
- Wadler P The marriage of effects and monads Proceedings of the third ACM SIGPLAN international conference on Functional programming, (63-74)
- Kieburtz R Taming effects with monadic typing Proceedings of the third ACM SIGPLAN international conference on Functional programming, (51-62)
- Visser E, Benaissa Z and Tolmach A Building program optimizers with rewriting strategies Proceedings of the third ACM SIGPLAN international conference on Functional programming, (13-26)
- Tofte M and Birkedal L (1998). A region inference algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), 20:4, (724-767), Online publication date: 1-Jul-1998.
- Flatt M and Felleisen M (1998). Units, ACM SIGPLAN Notices, 33:5, (236-248), Online publication date: 1-May-1998.
- Cheng P, Harper R and Lee P (1998). Generational stack collection and profile-driven pretenuring, ACM SIGPLAN Notices, 33:5, (162-173), Online publication date: 1-May-1998.
- 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.
- Flatt M and Felleisen M Units Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (236-248)
- Cheng P, Harper R and Lee P Generational stack collection and profile-driven pretenuring Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (162-173)
- 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)
- Wright A and Jagannathan S (1998). Polymorphic splitting, ACM Transactions on Programming Languages and Systems (TOPLAS), 20:1, (166-207), Online publication date: 1-Jan-1998.
- 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.
- 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)
- Alexander D, Shaw M, Nettles S and Smith J (2019). Active bridging, ACM SIGCOMM Computer Communication Review, 27:4, (101-111), Online publication date: 1-Oct-1997.
- Alexander D, Shaw M, Nettles S and Smith J Active bridging Proceedings of the ACM SIGCOMM '97 conference on Applications, technologies, architectures, and protocols for computer communication, (101-111)
- McAdam B (2019). BigTypes in ML (poster), ACM SIGPLAN Notices, 32:8, (316), Online publication date: 1-Aug-1997.
- Launchbury J and Sabry A (1997). Monadic state, ACM SIGPLAN Notices, 32:8, (227-238), Online publication date: 1-Aug-1997.
- Shao Z (2019). Flexible representation analysis, ACM SIGPLAN Notices, 32:8, (85-98), Online publication date: 1-Aug-1997.
- Erwig M (2019). Functional programming with graphs, ACM SIGPLAN Notices, 32:8, (52-65), Online publication date: 1-Aug-1997.
- McAdam B BigTypes in ML (poster) Proceedings of the second ACM SIGPLAN international conference on Functional programming
- Launchbury J and Sabry A Monadic state Proceedings of the second ACM SIGPLAN international conference on Functional programming, (227-238)
- Shao Z Flexible representation analysis Proceedings of the second ACM SIGPLAN international conference on Functional programming, (85-98)
- Erwig M Functional programming with graphs Proceedings of the second ACM SIGPLAN international conference on Functional programming, (52-65)
- Steensgaard-Madsen J A Generator for Composition Interpreters Proceedings of the Workshops on Object-Oriented Technology, (369-373)
- 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)
- Dean D The security of static typing with dynamic linking Proceedings of the 4th ACM conference on Computer and communications security, (18-27)
- Jones M First-class polymorphism with type inference Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (483-496)
- Rehof J Minimal typings in atomic subtyping Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (278-291)
- Cardelli L Program fragments, linking, and modularization Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (266-277)
- Ong C and Stewart C A Curry-Howard foundation for functional computation with control Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (215-227)
- 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)
- Necula G Proof-carrying code Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (106-119)
- Harper R and Lee P (1996). Research in programming languages for composability, safety, and performance, ACM Computing Surveys (CSUR), 28:4es, (195-es), Online publication date: 1-Dec-1996.
- Thomsen B (1996). Programming languages, analysis tools, and concurrency theory, ACM Computing Surveys (CSUR), 28:4es, (57-es), Online publication date: 1-Dec-1996.
- Battiston E, De Cindio F and Mauri G (1996). Modular Algebraic Nets to Specify Concurrent Systems, IEEE Transactions on Software Engineering, 22:10, (689-705), Online publication date: 1-Oct-1996.
- 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)
- 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.
- Okasaki C (2019). The role of lazy evaluation in amortized data structures, ACM SIGPLAN Notices, 31:6, (62-72), 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)
- Okasaki C The role of lazy evaluation in amortized data structures Proceedings of the first ACM SIGPLAN international conference on Functional programming, (62-72)
- Nielson F and Nielson H (2018). Operational semantics of termination types, Nordic Journal of Computing, 3:2, (144-187), Online publication date: 1-Jun-1996.
- Libkin L, Machlin R and Wong L (2019). A query language for multidimensional arrays, ACM SIGMOD Record, 25:2, (228-239), Online publication date: 1-Jun-1996.
- Libkin L, Machlin R and Wong L A query language for multidimensional arrays Proceedings of the 1996 ACM SIGMOD international conference on Management of data, (228-239)
- Jagannathan S and Wright A (2019). Flow-directed inlining, ACM SIGPLAN Notices, 31:5, (193-205), Online publication date: 1-May-1996.
- Tarditi D, Morrisett G, Cheng P, Stone C, Harper R and Lee P (2019). TIL, ACM SIGPLAN Notices, 31:5, (181-192), Online publication date: 1-May-1996.
- Bruggeman C, Waddell O and Dybvig R (2019). Representing control in the presence of one-shot continuations, ACM SIGPLAN Notices, 31:5, (99-107), Online publication date: 1-May-1996.
- Flanagan C, Flatt M, Krishnamurthi S, Weirich S and Felleisen M (2019). Catching bugs in the web of program invariants, ACM SIGPLAN Notices, 31:5, (23-32), Online publication date: 1-May-1996.
- Jagannathan S and Wright A Flow-directed inlining Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (193-205)
- 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)
- Bruggeman C, Waddell O and Dybvig R Representing control in the presence of one-shot continuations Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (99-107)
- Flanagan C, Flatt M, Krishnamurthi S, Weirich S and Felleisen M Catching bugs in the web of program invariants Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (23-32)
- Buneman P and Ohori A (1996). Polymorphism and type inference in database programming, ACM Transactions on Database Systems, 21:1, (30-76), 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)
- 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.
- Eifrig J, Smith S and Trifonov V (2019). Sound polymorphic type inference for objects, ACM SIGPLAN Notices, 30:10, (169-184), Online publication date: 17-Oct-1995.
- Eifrig J, Smith S and Trifonov V Sound polymorphic type inference for objects Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, (169-184)
- 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)
- Aagaard M and Leeser M (1995). Verifying a Logic-Synthesis Algorithm and Implementation, IEEE Transactions on Software Engineering, 21:10, (822-833), Online publication date: 1-Oct-1995.
- Wong L (2019). An introduction to Remy's fast polymorphic record projection, ACM SIGMOD Record, 24:3, (34-39), Online publication date: 1-Sep-1995.
- Luckham D and Vera J (1995). An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, 21:9, (717-734), 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)
- Colby C Analyzing the communication topology of concurrent programs Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (202-213)
- 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 (2019). Better static memory management, ACM SIGPLAN Notices, 30:6, (174-185), Online publication date: 1-Jun-1995.
- Shao Z and Appel A (2019). A type-based compiler for standard ML, ACM SIGPLAN Notices, 30:6, (116-129), Online publication date: 1-Jun-1995.
- Libkin L Normalizing incomplete databases Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (219-230)
- Bryant B, Chang D, Muthukrishnan P and Vaidyanathan V Automatic parallelization of object-oriented programming languages using tuple space Proceedings of the 1995 ACM 23rd annual conference on Computer science, (89-96)
- 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)
- Cardelli L A language with distributed scope Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (286-297)
- 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)
- Brookes S and Dancanet D Sequential algorithms, deterministic parallelism, and intensional expressiveness Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (13-24)
- Chambers C and Leavens G (2019). Typechecking and modules for multi-methods, ACM SIGPLAN Notices, 29:10, (1-15), Online publication date: 1-Oct-1994.
- 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)
- 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)
- 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.
- 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 (2019). Set-based analysis of ML programs, ACM SIGPLAN Lisp Pointers, VII:3, (306-317), Online publication date: 1-Jul-1994.
- Dean J and Chambers C (2019). Towards better inlining decisions using inlining trials, ACM SIGPLAN Lisp Pointers, VII:3, (273-282), Online publication date: 1-Jul-1994.
- Dzeng H and Haynes C (2019). Type reconstruction for variable-arity procedures, ACM SIGPLAN Lisp Pointers, VII:3, (239-249), Online publication date: 1-Jul-1994.
- Shao Z, Reppy J and Appel A (2019). Unrolling lists, ACM SIGPLAN Lisp Pointers, VII:3, (185-195), Online publication date: 1-Jul-1994.
- Shao Z and Appel A (2019). 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)
- Dean J and Chambers C Towards better inlining decisions using inlining trials Proceedings of the 1994 ACM conference on LISP and functional programming, (273-282)
- Dzeng H and Haynes C Type reconstruction for variable-arity procedures Proceedings of the 1994 ACM conference on LISP and functional programming, (239-249)
- Shao Z, Reppy J and Appel A Unrolling lists Proceedings of the 1994 ACM conference on LISP and functional programming, (185-195)
- Shao Z and Appel A Space-efficient closure representations Proceedings of the 1994 ACM conference on LISP and functional programming, (150-161)
- Reinhold M (2019). Cache performance of garbage-collected programs, ACM SIGPLAN Notices, 29:6, (206-217), Online publication date: 1-Jun-1994.
- Appel A and MacQueen D (2019). 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)
- Katiyar D, Luckham D and Mitchell J A type system for prototyping languages Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (138-150)
- 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)
- Leroy X Manifest types, modules, and separate compilation Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (109-122)
- 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)
- Zaremski A and Wing J Signature matching Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering, (182-190)
- Zaremski A and Wing J (2019). Signature matching, ACM SIGSOFT Software Engineering Notes, 18:5, (182-190), Online publication date: 1-Dec-1993.
- Dehbonei B and Mejia F (2019). 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 (2019). 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)
- Morrisett J and Tolmach A Procs and locks Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming, (198-207)
- 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)
- Sitaram D Handling control Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, (147-155)
- Mogensen T Constructor specialization Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (22-32)
- Libkin L and Wong L Semantic representations and query languages for or-sets Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (37-48)
- Morrisett J and Tolmach A (2019). Procs and locks, ACM SIGPLAN Notices, 28:7, (198-207), Online publication date: 1-Jul-1993.
- Huelsbergen L and Larus J (2019). 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.
- Hammarlund P and Lisper B On the relation between functional and data parallel programming languages Proceedings of the conference on Functional programming languages and computer architecture, (210-219)
- Riecke J Delimiting the scope of effects Proceedings of the conference on Functional programming languages and computer architecture, (146-155)
- Gordon A An operational semantics for I/O in a lazy functional language Proceedings of the conference on Functional programming languages and computer architecture, (136-145)
- Aasa A Precedences for conctypes Proceedings of the conference on Functional programming languages and computer architecture, (83-91)
- Aditya S and Caro A Compiler-directed type reconstruction for polymorphic languages Proceedings of the conference on Functional programming languages and computer architecture, (74-82)
- 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)
- Sitaram D (2019). Handling control, ACM SIGPLAN Notices, 28:6, (147-155), Online publication date: 1-Jun-1993.
- 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)
- Nipkow T and Prehofer C Type checking type classes Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (409-418)
- 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)
- Abadi M, Cardelli L and Curien P Formal parametric polymorphism Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (157-170)
- Lawall J and Danvy O Separating stages in the continuation-passing style transformation Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (124-136)
- Ohori A and Kato K Semantics for communication primitives in a polymorphic language Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (99-112)
- Lindsey C (2019). A history of ALGOL 68, ACM SIGPLAN Notices, 28:3, (97-132), Online publication date: 1-Mar-1993.
- Kazmierczak E (2018). Modularising the specification of a small database system in extended ML, Formal Aspects of Computing, 4:1, (100-142), Online publication date: 1-Nov-1992.
- 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)
- Jørgensen J Generating a compiler for a lazy language by partial evaluation Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (258-268)
- Tofte M Principal signatures for higher-order program modules Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (189-199)
- Leroy X Unboxed objects and polymorphic typing Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (177-188)
- Berry D, Milner R and Turner D A semantics for ML concurrency primitives Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (119-129)
- Wadler P The essence of functional programming Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (1-14)
- Jagannathan S and Philbin J A foundation for an efficient multi-threaded scheme system Proceedings of the 1992 ACM conference on LISP and functional programming, (345-357)
- 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)
- Goldberg B and Gloger M Polymorphic type reconstruction for garbage collection without tags Proceedings of the 1992 ACM conference on LISP and functional programming, (53-65)
- Cooper E, Nettles S and Subramanian I Improving the performance of SML garbage collection using application-specific virtual memory management Proceedings of the 1992 ACM conference on LISP and functional programming, (43-52)
- Maranget L Compiling lazy pattern matching Proceedings of the 1992 ACM conference on LISP and functional programming, (21-31)
- Jagannathan S and Philbin J (2019). A foundation for an efficient multi-threaded scheme system, ACM SIGPLAN Lisp Pointers, V:1, (345-357), Online publication date: 1-Jan-1992.
- 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 (2019). 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.
- Goldberg B and Gloger M (1992). Polymorphic type reconstruction for garbage collection without tags, ACM SIGPLAN Lisp Pointers, V:1, (53-65), Online publication date: 1-Jan-1992.
- Cooper E, Nettles S and Subramanian I (1992). Improving the performance of SML garbage collection using application-specific virtual memory management, ACM SIGPLAN Lisp Pointers, V:1, (43-52), Online publication date: 1-Jan-1992.
- Maranget L (1992). Compiling lazy pattern matching, ACM SIGPLAN Lisp Pointers, V:1, (21-31), Online publication date: 1-Jan-1992.
- Tolmach A and Appel A (2019). 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 (2019). 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)
- Goedicke M, Schumann H and Cramer J On the specification of software components Proceedings of the 6th international workshop on Software specification and design, (166-174)
- Reppy J (2019). CML, ACM SIGPLAN Notices, 26:6, (293-305), Online publication date: 1-Jun-1991.
- Cartwright R and Fagan M (2019). Soft typing, ACM SIGPLAN Notices, 26:6, (278-292), Online publication date: 1-Jun-1991.
- Freeman T and Pfenning F (1991). Refinement types for ML, ACM SIGPLAN Notices, 26:6, (268-277), Online publication date: 1-Jun-1991.
- Goldberg B (2019). Tag-free garbage collection for strongly typed programming languages, ACM SIGPLAN Notices, 26:6, (165-176), Online publication date: 1-Jun-1991.
- Reppy J CML Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (293-305)
- Cartwright R and Fagan M Soft typing Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (278-292)
- Freeman T and Pfenning F Refinement types for ML Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (268-277)
- Goldberg B Tag-free garbage collection for strongly typed programming languages Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (165-176)
- Mitchell J, Meldal S and Madhav N An extension of standard ML modules with subtyping and inheritance Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (270-278)
- 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)
- Chambers C and Ungar D (2019). Iterative type analysis and extended message splitting; optimizing dynamically-typed object-oriented programs, ACM SIGPLAN Notices, 25:6, (150-164), Online publication date: 1-Jun-1990.
- Chambers C and Ungar D Iterative type analysis and extended message splitting; optimizing dynamically-typed object-oriented programs Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, (150-164)
- Sitaram D and Felleisen M Reasoning with continuations II: full abstraction for models of control Proceedings of the 1990 ACM conference on LISP and functional programming, (161-175)
- Wadler P Comprehending monads Proceedings of the 1990 ACM conference on LISP and functional programming, (61-78)
- Hosch F (1990). Generic instantiations as closures, ACM SIGAda Ada Letters, X:1, (122-130), Online publication date: 1-Jan-1990.
- Ohori A, Buneman P and Breazu-Tannen V Database programming in Machiavelli—a polymorphic language with static type inference Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (46-57)
- Ohori A, Buneman P and Breazu-Tannen V (1989). Database programming in Machiavelli—a polymorphic language with static type inference, ACM SIGMOD Record, 18:2, (46-57), Online publication date: 1-Jun-1989.
- Wadler P and Blott S How to make ad-hoc polymorphism less ad hoc Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (60-76)
Index Terms
- The definition of Standard ML
Recommendations
Differential-ML Distinguisher: Machine Learning Based Generic Extension for Differential Cryptanalysis
Progress in Cryptology – LATINCRYPT 2021AbstractThe differential attack is a basic cryptanalytic technique for block ciphers. Application of machine learning shows promising results for the differential cryptanalysis. In this paper, we present a new technique to extend the classical ...
Improved Differential-ML Distinguisher: Machine Learning Based Generic Extension for Differential Analysis
Information and Communications SecurityAbstractAt CRYPTO 2019, Gohr first proposes a deep learning based differential analysis on round-reduced Speck32/64. Then Yadav present a framework to construct the differential-ML (machine learning) distinguisher by combining the traditional ...