Martin Odersky

151 papers A* 14A 30B 17C 5Misc 1Journal 38Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Agentic Proof Automation: A Case Study. CoRR Yichen Xu, Martin Odersky
2026	J	`jnl`	Tracking Capabilities for Safer Agents. CoRR Martin Odersky, Yaoyu Zhao, Yichen Xu, Oliver Bracevac, Cao Nguyen Pham
2025	J	`jnl`	Language-Integrated Recursive Queries. CoRR Anna Herlihy, Anastasia Ailamaki, Martin Odersky, Amir Shaikhha
2025	—	`conf`	Static Typing Meets Adaptive Optimization: A Unified Approach to Recursive Queries. DBPL Anna Herlihy, Anastasia Ailamaki, Martin Odersky
2025	J	`jnl`	What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version). CoRR Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Martin Odersky
2025	J	`jnl`	What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures. Proc. ACM Program. Lang. Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Martin Odersky
2024	—	`conf`	A Formal Foundation of Reach Capabilities. Programming Yichen Xu, Martin Odersky
2024	A*	`conf`	Adaptive Recursive Query Optimization. ICDE Anna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin Odersky
2024	J	`jnl`	Degrees of Separation: A Flexible Type System for Safe Concurrency. Proc. ACM Program. Lang. Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky
2023	J	`jnl`	Adaptive Recursive Query Optimization. CoRR Anna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin Odersky
2023	J	`jnl`	Capturing Types. ACM Trans. Program. Lang. Syst. Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
2023	J	`jnl`	Degrees of Separation: A Flexible Type System for Data Race Prevention. CoRR Yichen Xu, Martin Odersky
2023	J	`jnl`	Formalizing Box Inference for Capture Calculus. CoRR Yichen Xu, Martin Odersky
2022	J	`jnl`	Scoped Capabilities for Polymorphic Effects. CoRR Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták
2022	J	`jnl`	Type-level programming with match types. Proc. ACM Program. Lang. Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky
2021	B	`conf`	Multi-stage programming with generative and analytical macros. GPCE Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
2021	—	`conf`	Safer exceptions for Scala. SCALA@SPLASH Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták
2021	J	`jnl`	Tracking Captured Variables in Types. CoRR Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky
2021	C	`conf`	Virtual ADTs for portable metaprogramming. MPLR Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky
2020	J	`jnl`	A type-and-effect system for object initialization. Proc. ACM Program. Lang. Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky
2020	—	`conf`	Semantics-preserving inlining for metaprogramming. SCALA@SPLASH Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky
2018	B	`conf`	A practical unification of multi-stage programming and macros. GPCE Nicolas Stucki, Aggelos Biboudis, Martin Odersky
2018	J	`jnl`	Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14). NII Shonan Meet. Rep. Aggelos Biboudis, Oleg Kiselyov, Martin Odersky
2018	—	`conf`	Initialization patterns in Dotty. SCALA@ICFP Fengyun Liu, Aggelos Biboudis, Martin Odersky
2018	—	`conf`	Interflow: interprocedural flow-sensitive type inference and method duplication. SCALA@ICFP Denys Shabalin, Martin Odersky
2018	J	`jnl`	Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
2018	—	`conf`	Truly abstract interfaces for algebraic data types: the extractor typing problem. SCALA@ICFP Nicolas Stucki, Paolo G. Giarrusso, Martin Odersky
2017	J	`jnl`	Cache-Aware Lock-Free Concurrent Hash Tries. CoRR Aleksandar Prokopec, Phil Bagwell, Martin Odersky
2017	A*	`conf`	Miniphases: compilation using modular and efficient tree transformations. PLDI Dmitry Petrashko, Ondrej Lhoták, Martin Odersky
2016	A	`conf`	Call graphs for languages with parametric polymorphism. OOPSLA Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky
2016	—	`conf`	Implementing higher-kinded types in Dotty. SCALA@SPLASH Martin Odersky, Guillaume Martres, Dmitry Petrashko
2016	—	`conf`	The Essence of Dependent Object Types. A List of Successes That Can Change the World Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
2015	A	`conf`	Automating ad hoc data representation transformations. OOPSLA Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky
2015	—	`conf`	Conc-Trees for Functional and Parallel Programming. LCPC Aleksandar Prokopec, Martin Odersky
2015	C	`conf`	Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections. PDP Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky
2015	—	`conf`	Improving the Interoperation between Generics Translations. PPPJ Vlad Ureche, Milos Stojanovic, Romain Béguet, Nicolas Stucki, Martin Odersky
2015	—	`conf`	Isolates, channels, and event streams for composable distributed programming. Onward! Aleksandar Prokopec, Martin Odersky
2014	—	`conf`	Containers and aggregates, mutators and isolates for reactive programming. SCALA@ECOOP Aleksandar Prokopec, Philipp Haller, Martin Odersky
2014	J	`jnl`	Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages. ACM Trans. Embed. Comput. Syst. Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
2014	A	`conf`	Foundations of path-dependent types. OOPSLA Nada Amin, Tiark Rompf, Martin Odersky
2014	—	`conf`	Functional programming for all! scaling a MOOC for students and professionals alike. ICSE Companion Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky
2014	B	`conf`	Hardware system synthesis from Domain-Specific Languages. FPL Nithin George, HyoukJoong Lee, David Novo, Tiark Rompf, Kevin J. Brown, Arvind K. Sujeeth, Martin Odersky, Kunle Olukotun, Paolo Ienne
2014	A	`conf`	Late data layout: unifying data representation transformations. OOPSLA Vlad Ureche, Eugene Burmako, Martin Odersky
2014	—	`conf`	ScalaDyno: making name resolution and type checking fault-tolerant. SCALA@ECOOP Cédric Bastin, Vlad Ureche, Martin Odersky
2014	A	`conf`	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ECOOP Heather Miller, Philipp Haller, Martin Odersky
2014	A	`conf`	Staged parser combinators for efficient data processing. OOPSLA Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky
2014	—	`conf`	The evolution of Scala: PLE'14 keynote. PLE@ECOOP Martin Odersky
2014	J	`jnl`	Unifying functional and object-oriented programming with Scala. Commun. ACM Martin Odersky, Tiark Rompf
2014	B	`conf`	Yin-yang: concealing the deep embedding of DSLs. GPCE Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, Martin Odersky
2013	—	`conf`	A flow-insensitive, modular effect system for purity. FTfJP@ECOOP Lukas Rytz, Nada Amin, Martin Odersky
2013	A	`conf`	Composition and Reuse with Compiled Domain-Specific Languages. ECOOP Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun
2013	B	`conf`	Forge: generating a high performance DSL implementation from a declarative specification. GPCE Arvind K. Sujeeth, Austin Gibbons, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Martin Odersky, Kunle Olukotun
2013	A	`conf`	Higher-Order Reactive Programming with Incremental Lists. ECOOP Ingo Maier, Martin Odersky
2013	A	`conf`	Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky
2013	—	`conf`	Making domain-specific hardware synthesis tools cost-efficient. FPT Nithin George, David Novo, Tiark Rompf, Martin Odersky, Paolo Ienne
2013	A	`conf`	Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations. OOPSLA Vlad Ureche, Cristian Talau, Martin Odersky
2013	—	`conf`	Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel Workloads. LCPC Aleksandar Prokopec, Martin Odersky
2013	A*	`conf`	Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. POPL Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky
2013	B	`conf`	Spiral in scala: towards the systematic construction of generators for performance libraries. GPCE Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel
2012	B	`conf`	Concurrent tries with efficient non-blocking snapshots. PPoPP Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky
2012	—	`conf`	FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky
2012	A	`conf`	JavaScript as an Embedded DSL. ECOOP Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
2012	A	`conf`	Lightweight Polymorphic Effects. ECOOP Lukas Rytz, Martin Odersky, Philipp Haller
2012	J	`jnl`	Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Commun. ACM Tiark Rompf, Martin Odersky
2012	J	`jnl`	Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
2012	C	`conf`	Scala-virtualized. PEPM Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky
2012	C	`conf`	StagedSAC: a case study in performance-oriented DSL development. PEPM Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky
2012	A	`conf`	When Compilers Are Mirrors. ECOOP Martin Odersky
2011	—	`conf`	A Generic Parallel Collection Framework. Euro-Par (2) Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky
2011	B	`conf`	A Heterogeneous Parallel Framework for Domain-Specific Languages. PACT Kevin J. Brown, Arvind K. Sujeeth, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
2011	—	`conf`	Building-Blocks for Performance Oriented DSLs DSL Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun
2011	B	`conf`	Future-Proofing Collections: From Mutable to Persistent to Parallel. CC Martin Odersky
2011	J	`jnl`	Implementing Domain-Specific Languages for Heterogeneous Parallel Computing. IEEE Micro HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Hassan Chafi, Tiark Rompf, Martin Odersky, Kunle Olukotun
2011	—	`conf`	Lock-Free Resizeable Concurrent Tries. LCPC Aleksandar Prokopec, Phil Bagwell, Martin Odersky
2011	A*	`conf`	OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning. ICML Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun
2010	A	`conf`	Capabilities for Uniqueness and Borrowing. ECOOP Philipp Haller, Martin Odersky
2010	B	`conf`	Contracts for Scala. RV Martin Odersky
2010	A	`conf`	Language virtualization for heterogeneous parallel computing. OOPSLA Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun
2010	B	`conf`	Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. GPCE Tiark Rompf, Martin Odersky
2010	Misc	`conf`	Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. SAC Lukas Rytz, Martin Odersky
2010	A	`conf`	Type classes as objects and implicits. OOPSLA Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky
2009	—	`conf`	Compiling generics through user-directed type specialization. ICOOOLPS@ECOOP Iulian Dragos, Martin Odersky
2009	—	`conf`	Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective. ICOOOLPS@ECOOP Gilles Dubochet, Martin Odersky
2009	—	`conf`	Essentials of Scala. LMO Martin Odersky
2009	—	`conf`	Fighting bit Rot with Types (Experience Report: Scala Collections). FSTTCS Martin Odersky, Adriaan Moors
2009	A	`conf`	Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP Tiark Rompf, Ingo Maier, Martin Odersky
2009	J	`jnl`	Scala Actors: Unifying thread-based and event-based programming. Theor. Comput. Sci. Philipp Haller, Martin Odersky
2008	A	`conf`	Generics of a higher kind. OOPSLA Adriaan Moors, Frank Piessens, Martin Odersky
2008	—	`conf`	Scala Roles - A Lightweight Approach Towards Reusable Collaborations. ICSOFT (PL/DPS/KE) Michael Pradel, Martin Odersky
2008	—	`conf`	Scala Roles: Reusable Object Collaborations in a Library. ICSOFT (Selected Papers) Michael Pradel, Martin Odersky
2007	C	`conf`	Actors That Unify Threads and Events. COORDINATION Philipp Haller, Martin Odersky
2007	B	`ed.`	Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings CC Shriram Krishnamurthi, Martin Odersky
2007	A	`conf`	Matching Objects with Patterns. ECOOP Burak Emir, Martin Odersky, John Williams
2007	B	`conf`	Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS Burak Emir, Qin Ma, Martin Odersky
2006	B	`conf`	A Core Calculus for Scala Type Checking. MFCS Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
2006	—	`conf`	Event-Based Programming Without Inversion of Control. JMLC Philipp Haller, Martin Odersky
2006	—	`conf`	Scalable Programming Abstractions for XML Services. Research Results of the DICS Program Burak Emir, Sebastian Maneth, Martin Odersky
2006	A*	`conf`	The Scala experiment: can we provide better language support for component systems? POPL Martin Odersky
2005	A	`conf`	Scalable component abstractions. OOPSLA Martin Odersky, Matthias Zenger
2004	—	`ed.`	Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers Domain-Specific Program Generation Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky
2004	A	`ed.`	ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings ECOOP Martin Odersky
2004	J	`jnl`	Guest editorial. ACM Trans. Program. Lang. Syst. Martin Odersky, Benjamin C. Pierce
2004	B	`conf`	The Scala Experiment - Can We Provide Better Language Support for Component Systems? APLAS Martin Odersky
2003	A	`conf`	A Nominal Theory of Objects with Dependent Types. ECOOP Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
2003	—	`conf`	An Equational Theory for Transactions. FSTTCS Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky
2003	—	`conf`	PiLib: A Hosted Language for Pi-Calculus Style Concurrency. Domain-Specific Program Generation Vincent Cremet, Martin Odersky
2001	A*	`conf`	Colored local type inference. POPL Martin Odersky, Christoph Zenger, Matthias Zenger
2001	A	`conf`	Extensible Algebraic Datatypes with Defaults. ICFP Matthias Zenger, Martin Odersky
2001	—	`conf`	Tail call elimination on the Java Virtual Machine. BABEL Michel Schinz, Martin Odersky
2000	—	`ed.`	Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings Abstract State Machines Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
2000	—	`conf`	An Introduction to Functional Nets. APPSEM Martin Odersky
2000	A	`conf`	Functional Nets. ESOP Martin Odersky
2000	—	`conf`	Objects + Views = Components? Abstract State Machines Martin Odersky
2000	A	`ed.`	Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. ICFP Martin Odersky, Philip Wadler
2000	—	`conf`	Programming with Functional Nets. The School of Niklaus Wirth Martin Odersky
1999	J	`jnl`	Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theor. Comput. Sci. John Maraist, Martin Odersky, David N. Turner, Philip Wadler
1999	J	`jnl`	Type Inference with Constrained Types. Theory Pract. Object Syst. Martin Odersky, Martin Sulzmann, Martin Wehr
1998	A	`conf`	A Statically Safe Alternative to Virtual Types. ECOOP Kim B. Bruce, Martin Odersky, Philip Wadler
1998	B	`conf`	Leftover curry and reheated Pizza: how functional programming nourishes software reuse. ICSR Martin Odersky, Philip Wadler
1998	A	`conf`	Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. OOPSLA Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler
1998	A	`conf`	Programming with Variable Functions. ICFP Martin Odersky
1998	J	`jnl`	The Call-by-Need Lambda Calculus. J. Funct. Program. John Maraist, Martin Odersky, Philip Wadler
1998	—	`conf`	Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming Martin Odersky, Enno Runne, Philip Wadler
1997	J	`jnl`	A Confluent Calculus for Concurrent Constraint Programming. Theor. Comput. Sci. Kim Marriott, Martin Odersky
1997	J	`jnl`	Challenges in Type Systems Research. ACM SIGPLAN Notices Martin Odersky
1997	A*	`conf`	Pizza into Java: Translating Theory into Practice. POPL Martin Odersky, Philip Wadler
1996	J	`jnl`	Challenges in Type Systems Research. ACM Comput. Surv. Martin Odersky
1996	J	`jnl`	Negative Boolean Constraints. Theor. Comput. Sci. Kim Marriott, Martin Odersky
1996	A*	`conf`	Putting Type Annotations to Work. POPL Martin Odersky, Konstantin Läufer
1995	A	`conf`	A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. CP Kim Marriott, Martin Odersky
1995	—	`conf`	A Second Look at Overloading. FPCA Martin Odersky, Philip Wadler, Martin Wehr
1995	B	`conf`	Call-by-name, call-by-value, call-by-need and the linear lambda calculus. MFPS John Maraist, Martin Odersky, David N. Turner, Philip Wadler
1995	—	`conf`	Polarized Name Passing. FSTTCS Martin Odersky
1995	J	`jnl`	Spatial Query Optimization: From Boolean Constraints to Range Queries. J. Comput. Syst. Sci. Richard Helm, Kim Marriott, Martin Odersky
1995	J	`jnl`	Special Issue on State in Programming Languages - Introduction. LISP Symb. Comput. Ian A. Mason, Martin Odersky
1995	A*	`conf`	The Call-by-Need Lambda Calculus. POPL Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
1994	A*	`conf`	A Functional Theory of Local Names. POPL Martin Odersky
1994	—	`conf`	A Type System for a Lambda Calculus with Assignments. TACS Kung Chen, Martin Odersky
1994	J	`jnl`	Polymorphic Type Inference and Abstract Data Types. ACM Trans. Program. Lang. Syst. Konstantin Läufer, Martin Odersky
1993	A*	`conf`	Call by Name, Assignment, and the Lambda Calculus. POPL Martin Odersky, Dan Rabin, Paul Hudak
1993	J	`jnl`	Defining Context-Dependent Syntax Without Using Contexts. ACM Trans. Program. Lang. Syst. Martin Odersky
1992	A	`conf`	Observers for Linear Types. ESOP Martin Odersky
1992	—	`conf`	Parametric Type Classes. LISP and Functional Programming Kung Chen, Paul Hudak, Martin Odersky
1991	A*	`conf`	Building visual language parsers. CHI Richard Helm, Kim Marruitt, Martin Odersky
1991	A*	`conf`	Constraint-Based Query Optimization for Spatial Databases. PODS Richard Helm, Kim Marriott, Martin Odersky
1991	A*	`conf`	How to Make Destructive Updates Less Destructive. POPL Martin Odersky
1991	—	`conf`	Type Classes are Signatures of Abstract Types. Declarative Programming Konstantin Läufer, Martin Odersky
1990	J	`jnl`	Extending MODULA-2 for object-oriented programming. Microprocess. Microsystems Martin Odersky
1989	—	`—`	A new approach to formal language definition and its application to Oberon. Martin Odersky
1989	J	`jnl`	MINOS: A New Approach to the Design of an Input/Output Library for Modula-2. Struct. Program. Martin Odersky
1987	J	`jnl`	Einfache und effiziente inkrementelle Syntaxanalyse. Inform. Forsch. Entwickl. Martin Odersky