- A Transformational Approach to Binary Translation of Delayed Branches
- Teach Technical Writing in Two Hours per Week Norman Ramsey
- Machine Descriptions to Build Tools for Embedded Systems
- Atomic Heap Transactions and Finegrain Interrupts
- Tips for Computer Scientists Standard ML
- Synchronization Synchronization
- Submitted to the 2010 ACM Symposium on Principles of Programming Languages (POPL) Hoopl: Dataflow Optimization Made Simple
- Source-level Debugging for Multiple Languages With Modest Programming Effort
- Relocating Machine Instructions by Currying Norman Ramsey
- Declarative Composition of Stack Frames Christian Lindig 1 and Norman Ramsey 2
- Work in progress Design Principles for MachineDescription Languages
- A Simple Applicative Language: Mini-lVIL Dominique Cl6ment
- Reprinted from Proceedings of the 21st ACM Symposium on the Principles of Programming Languages, January 1994. Correctness of TrapBased Breakpoint Implementations
- Reprinted from Proceedings of the 33rd ACM Symposium on the Principles of Programming Languages (POPL'06) Staged Allocation: A Compositional Technique for
- Reprinted from Proceedings of the 33rd ACM Symposium on the Principles of Programming Languages (POPL'06) Staged Allocation: A Compositional Technique for
- Teach Technical Writing in Two Hours per Week Norman Ramsey
- Reprinted from Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP'05) An Expressive Language of Signatures
- CustoMalloc: Efficient Synthesized Memory Allocators
- Squinting at Power Series M. Douglas McIlroy
- Widening Integer Arithmetic Kevin Redwine and Norman Ramsey
- QuickCheck: A Lightweight Tool for Random Testing
- Literate Programming on a Team Project \Lambda Norman Ramsey y and Carla Marceau
- When Do Match-Compilation Heuristics Matter? Kevin Scott and Norman Ramsey
- Fast Algorithms for Sorting and Searching Strings Jon L. Bentley* Robert Sedgewick#
- Principal type-schemes for functional programs Luis Darnas* and Robin Milne~
- Widening Integer Arithmetic Kevin Redwine and Norman Ramsey
- The noweb Hacker's Guide Norman Ramsey #
- Under consideration for publication in POPL 2010. Comments are welcome; please identify this version by the words Ives chummiest fluffed Patagonia.
- Reprinted from the 2005 ACM SIGPLAN Workshop on ML ML Module Mania: A TypeSafe,
- Concurrent Haskell Simon Peyton Jones
- New Jersey Machine-Code Toolkit Reference Manual
- FAQ on -Calculus Jeannette M. Wing
- Learning Technical Writing Using the Engineering Method
- Reprinted from the 2005 ACM SIGPLAN Workshop on ML An Applicative ControlFlow Graph
- A OnePage Guide to Using noweb with L A T E X Norman Ramsey
- Under consideration for publication in J. Functional Programming 1 Embedding an Interpreted Language Using
- C: a portable assembly language that supports garbage collection
- The Polyadic Calculus: a Tutorial Robin Milner
- Reprinted from 1995 Usenix Technical Conference January 16{20, 1995 New Orleans, LA The New Jersey Machine-Code Toolkit
- To appear in the 2010 ACM Haskell Symposium (without appendices). Hoopl: A Modular, Reusable Library for
- Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and
- Probability Distributions
- Automatic Checking of Instruction Specifications Mary Fern'andez
- Learning Technical Writing Using the Engineering Method
- Under consideration for publication in the ACM Haskell Symposium. Comments are welcome; please identify this version by the words commonplaces anarchism Daniel's builder's.
- Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL'10) Automatically Generating Instruction Selectors
- The development of Erlang Joe Armstrong
- Work in progress Featherweight Concurrency in a Portable Assembly Language
- The Measured Cost of Conservative Garbage Collection
- Under consideration for publication in J. Functional Programming 1 Pragmatic Aspects of
- JFP 16 (6): 671679, 2006. c 2006 Cambridge University Press doi:10.1017/S0956796806006058 First published online 7 July 2006 Printed in the United Kingdom
- Automatically Generating Back Ends for a Portable Assembly Language
- Published in SETSS 92, 30th March to 1st April 1992, Florence IMPLEMENTING A FUNCTIONAL LANGUAGE FOR HIGHLY PARALLEL REA
- Under consideration for publication in the ACM Haskell Symposium. Comments are welcome; please identify this version by the words commonplaces anarchism Daniel's builder's.
- Reprinted from the 2005 ACM SIGPLAN Workshop on ML ML Module Mania: A Type-Safe,
- , , 1--8 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- New Jersey Machine-Code Toolkit Source Code
- Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs
- Norman Ramsey Associate Professor
- Submitted to Proceedings of the ACM SIGPLAN '03 Conference on Programming Language Design and Implementation Custom Calling Conventions in a Portable Assembly Language
- Concurrent programming in ML Norman Ramsey \Lambda
- Reprinted from Proceedings of the ACM SIGPLAN '04 Conference on Programming Language Design and Implementation A Generalized Algorithm
- A Transformational Approach to Binary Translation of Delayed Branches
- New Jersey Machine-Code Toolkit Architecture Speci cations
- A Simple Solver for Linear Equations Containing Nonlinear Operators
- Reprinted from the Conference Record of the 29th Annual ACM Symposium on Principles of Programming Languages (POPL'02) Stochastic Lambda Calculus and
- Automatically Generating Back Ends for a Portable Assembly Language
- The Java Memory Model Jeremy Manson and William Pugh
- Submitted to the 2010 ACM Symposium on Principles of Programming Languages (POPL) Hoopl: Dataflow Optimization Made Simple
- Reprinted from ACM SIGPLAN Notices 35(3):73{83, March 2000. The 1999 ICFP Programming Contest
- Teaching Technical Writing Using the Engineering Method
- Reprinted from the 2005 ACM SIGPLAN Workshop on ML An Applicative Control-Flow Graph
- Why Functional Programming Matters \Lambda John Hughes, Institutionen for Datavetenskap,
- The Design of a Prettyprinting Library John Hughes
- SOFTWARE---PRACTICE AND EXPERIENCE, VOL. 0(0), 1--30 (MONTH 1998) Unparsing Expressions
- Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions
- Work in progress Design Principles for Machine-Description Languages
- Modeling HTML in Haskell Peter Thiemann
- Reprinted from Proceedings of the ACM SIGPLAN '04 Conference on Programming Language Design and Implementation A Generalized Algorithm
- C--: a portable assembly language that supports garbage collection
- MachineIndependent Support for Garbage Collection, Debugging, Exception Handling, and Concurrency
- Teach Technical Writing in Two Hours per Week Norman Ramsey
- Embedding an Interpreted Language Using Higher-Order Functions and Types
- Reprinted from the Conference Record of the 29th Annual ACM Symposium on Princi* *ples of Programming Languages (POPL'02)
- Toward a Calculus of Signatures Norman Ramsey
- A prettier printer Philip Wadler
- Submitted to Proceedings of the ACM SIGPLAN '03 Conference on Programming La* *nguage Design and Implementation
- Reprinted from Proceedings of the Tenth ACM SIGPLAN International Conference* * on Functional Programming (ICFP'05)
- Under consideration for publication in J. Functional Programming 1 Embedding an Interpreted Language Using
- Reprinted from the 13th International Conference on Compiler Construction Widening Integer Arithmetic
- Reprinted from Proceedings of the ACM SIGPLAN '04 Conference on Programming La* *nguage Design and Implementation
- A RETARGETABLE DEBUGGER Norman Ramsey
- The Implementation of Newsqueak AT&T Bell Laboratories
- Under consideration for publication in POPL 2010. Comments are welcome; please identify this version by the words Ives chummiest flu#ed Patagonia.
- When Do Match-Compilation Heuristics Matter? Kevin Scott and Norman Ramsey
- Developing Formally Verified Ada Programs \Lambda Norman Ramsey y
- I am greatly honored to receive this award, bearing the name of Pdan
- JFP 14 (6): 603612, 2004. c 2004 Cambridge University Press DOI: 10.1017/S0956796804005118 Printed in the United Kingdom
- A Short Cut to Deforestation Andrew Gill John Launchbury Simon L Peyton Jones
- Higher-Order and Symbolic Computation, 11, 363397 (1998) c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- J. Functional Programming 8 (4): 437444, July 1998. Printed in the United Kingdom c 1998 Cambridge University Press
- Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL'10) Automatically Generating Instruction Selectors
- Specifying Representations of Machine Instructions NORMAN RAMSEY
- Reprinted from Foundations of Software Engineering 2001 An Algebraic Approach to File Synchronization
- Teaching Technical Writing Using the Engineering Method
- Literate Programming using noweb Andrew L. Johnson and Brad C. Johnson
- Research Project Proposal Information, Technology, and Management Program
- Under consideration for publication in J. Functional Programming 1 Pragmatic Aspects of
- Work in progress Featherweight Concurrency in a Portable Assembly Language
- Submitted to Proceedings of the ACM SIGPLAN '03 Conference on Programming Language Design and Implementation Custom Calling Conventions in a Portable Assembly Language
- AnAlgebraicApproach toFileSynchronization
- Concurrent ML: Design, Application and Semantics
- MachineIndependent Support for Garbage Collection, Debugging, Exception Handling, and Concurrency
- Embedding an Interpreted Language Using HigherOrder Functions and Types
- A Concurrent Window System AT&T Bell Laboratories
- Reprinted from Foundations of Software Engineering 2001 An Algebraic Approach to File Synchronization
- Reprinted from the Conference Record of the 29th Annual ACM Symposium on Principles of Programming Languages (POPL'02) Stochastic Lambda Calculus and
- Reprinted from the 13th International Conference on Compiler Construction Declarative Composition of Stack Frames
- Reprinted from ACM SIGPLAN Notices 35(3):73-83, March 2000. The 1999 ICFP Programming Contest
- ====== ====== BRICS Basic Research in Computer Science
- C--: a portable assembly language that supports garbage collection
- Pragmatic Aspects of Reusable Program Generators
- When Do Match-Compilation Heuristics Matter? Kevin Scott and Norman Ramsey
- Embedding an Interpreted Language Using Higher-Order Functions and Types
- Under consideration for publication in the ACM Haskell Symposium. Comments are * *welcome; please identify this version by the
- Machine-Independent Support for Garbage Collection, Debugging, Exception Handling, and Concurrency
- Reprinted from Proceedings of the 33rd ACM Symposium on the Principles of * *Programming Languages (POPL'06)
- Reprinted from Foundations of Software Engineering 2001 An Algebraic Approach to File Synchronization
- Under consideration for publication in J. Functional Programming 1 Pragmatic Aspects of
- Work in progress Design Principles for Machine-Description Languages
- Submitted to the 2010 ACM Symposium on Principles of Programming La* *nguages (POPL)
- Work in progress Featherweight Concurrency in a Portable Assembly Language
- Working with Norman Ramsey A Guide for Research Students
- Specifying Representations of Machine Instructions NORMAN RAMSEY
- Reprinted from Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI 2000) A Single Intermediate Language
- Weaving a LanguageIndependent WEB \Lambda Norman Ramsey y
- Pragmatic Aspects of Reusable Program Generators
- A Multithreaded Higherorder User Interface Toolkit
- Declarative Composition of Stack Frames Christian Lindig1
- An Embedded Domain-Specific Language for Type-Safe Server-Side Web Scripting
- Under consideration for publication in J. Functional Programming 1 Embedding an Interpreted Language Using
- Functional Parsers Jeroen Fokker
- Notes on the LambdaCalculus CS 524 Winter 1995
- Eliminating Spurious Error Messages Using Exceptions, Polymorphism,
- Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions
- Toward a Calculus of Signatures Norman Ramsey
- To appear in the 2010 ACM Haskell Symposium (without appendices). Hoopl: A Modular, Reusable Library for
- To appear in the 15th International Conference on Compiler Construction Converting Intermediate Code to Assembly Code
- Machine-Independent Support for Garbage Collection, Debugging, Exception Handling, and Concurrency
- To appear in the 2010 ACM Haskell Symposium (without appendi* Hoopl: A Modular, Reusable Library for
- Extended version of a paper from the 14th International Conference on Compiler * *Construction
- Learning Technical Writing Using the Engineering Method
- Reprinted from the 2005 ACM SIGPLAN Workshop on ML An Applicative Control-Flow Graph
- Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Pro* *gramming Languages (POPL'10)
- Automatically Generating Back Ends for a Portable Assembly Language
- A Transformational Approach to Binary Translation of Delayed Branches
- Reprinted from the 2005 ACM SIGPLAN Workshop on ML ML Module Mania: A Type-Safe,
- Teaching Technical Writing Using the Engineering Method
- Specifying Instructions' Semantics Using -RTL (Interim Report)
