Car93

J. Caruso. Prototyping Demonstration Problem for the Prototech HiPer-D Joint Prototyping Demonstration Project. CCB Report 0.2, Naval Surface Warfare Center, August 1993. Last modified October 27, 1993; further changes specified by J. Caruso are described in Addendum to Prototyping Demonstration Problem for the Prototech HiPer-D Joint Prototyping Demonstration Project, November 9, 1993.

CHJ93

W.E. Carlson, P. Hudak, and M.P. Jones. An Experiment Using Haskell To Prototype Geometric Region Servers for Navy Command And Control. Research Report 1031, Department of Computer Science, Yale University, November 1993.

Esp93

David Espinosa. Modular Denotational Semantics. Unpublished manuscript, December 1993.

LBK*94

J.A.N. Lee, B. Blum, P. Kanellakis, H. Crisp, and J.A. Caruso. ProtoTech HiPer-D Joint Prototyping Demonstration Project, February 1994. Unpublished; 400 pages.

LH96

Sheng Liang , Paul Hudak, Modular Denotational Semantics for Compiler Construction, Proceedings of the 6th European Symposium on Programming Languages and Systems, p.219-234, April 22-24, 1996

LHJ95

Sheng Liang , Paul Hudak , Mark Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-343, January 23-25, 1995, San Francisco, California, United States  [doi>10.1145/199448.199528]

Lia96

Sheng Liang , Paul Hudak, Modular monadic semantics and compilation, 1998

Mog89

E. Moggi, Computational lambda-calculus and monads, Proceedings of the Fourth Annual Symposium on Logic in computer science, p.14-23, June 1989, Pacific Grove, California, United States

PJW93

Simon L. Peyton Jones , Philip Wadler, Imperative functional programming, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.71-84, March 1993, Charleston, South Carolina, United States  [doi>10.1145/158511.158524]

Ste94

Guy L. Steele, Jr., Building interpreters by composing monads, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.472-492, January 16-19, 1994, Portland, Oregon, United States  [doi>10.1145/174675.178068]

Wad90

Philip Wadler, Comprehending monads, Proceedings of the 1990 ACM conference on LISP and functional programming, p.61-78, June 27-29, 1990, Nice, France  [doi>10.1145/91556.91592]

Zhanyong Wan , Walid Taha , Paul Hudak, Real-time FRP, ACM SIGPLAN Notices, v.36 n.10, October 2001

Alastair Reid , John Peterson , Greg Hager , Paul Hudak, Prototyping real-time vision systems: an experiment in DSL design, Proceedings of the 21st international conference on Software engineering, p.484-493, May 16-22, 1999, Los Angeles, California, United States

Simon Peyton Jones , Jean-Marc Eber , Julian Seward, Composing contracts: an adventure in financial engineering (functional pearl), ACM SIGPLAN Notices, v.35 n.9, p.280-292, Sept. 2000

Lloyd H. Nakatani , Mark A. Ardis , Robert G. Olsen , Paul M. Pontrelli, Jargons for domain engineering, ACM SIGPLAN Notices, v.35 n.1, p.15-24, Jan. 2000

Holger M. Kienle, Using smgn for rapid protoptyping of small domain-specific languages, ACM SIGPLAN Notices, v.36 n.9, September 2001

André Pang , Don Stewart , Sean Seefried , Manuel M. T. Chakravarty, Plugging Haskell in, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA

Magne Haveraaen , Helmer André Friis , Tor Arne Johansen, Formal software engineering for computational modelling, Nordic Journal of Computing, v.6 n.3, p.241-270, Fall 1999

Chidamber Kulkarni , Gordon Brebner , Graham Schelle, Mapping a domain specific language to a platform FPGA, Proceedings of the 41st annual conference on Design automation, June 07-11, 2004, San Diego, CA, USA

Arne John Glenstrup , Neil D. Jones, Termination analysis and specialization-point insertion in offline partial evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1147-1215, November 2005

Markus Forsberg , Aarne Ranta, Functional morphology, ACM SIGPLAN Notices, v.39 n.9, September 2004

Marjan Mernik , Jan Heering , Anthony M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys (CSUR), v.37 n.4, p.316-344, December 2005

Steve Freeman , Tim Mackinnon , Nat Pryce , Joe Walnes, Mock roles, objects, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA

Martin Bravenboer , Eelco Visser, Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions, ACM SIGPLAN Notices, v.39 n.10, October 2004

Emir PašaliΕ , Walid Taha , Tim Sheard, Tagless staged interpreters for typed languages, ACM SIGPLAN Notices, v.37 n.9, p.218-229, September 2002

Eric Van Wyk, Specification languages in algebraic compilers, Theoretical Computer Science, v.291 n.3, p.351-385, 6 January 2003

Don Stewart , Manuel M. T. Chakravarty, Dynamic applications from the ground up, Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, p.27-38, September 30-30, 2005, Tallinn, Estonia

Peter King , Patrick Schmitz , Simon Thompson, Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation, Proceedings of the 2004 ACM symposium on Document engineering, October 28-30, 2004, Milwaukee, Wisconsin, USA

Meng Wang , Kung Chen , Siau-Cheng Khoo, Type-directed weaving of aspects for higher-order functional languages, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina

Todd L. Veldhuizen, Language embeddings that preserve staging and safety, Nordic Journal of Computing, v.12 n.2, p.189-198, August 2005

Magne Haveraaen, Case study on algebraic software methodologies for scientific computing, Scientific Programming, v.8 n.4, p.261-273, December 2000

Jimin Gao , Mike Whalen , Eric Van Wyk, Extending Lustre with Timeout Automata, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.4, p.111-124, June, 2008

Robert Giegerich , Peter Steffen, Challenges in the compilation of a domain specific language for dynamic programming, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France

Lloyd H. Nakatani , Mark A. Ardis , Robert G. Olsen , Paul M. Pontrelli, Jargons for domain engineering, Proceedings of the 2nd conference on Conference on Domain-Specific Languages, p.2-2, October 03-05, 1999, Austin, Texas

Christoph A. Herrmann , Tobias Langhammer, Combining partial evaluation and staged interpretation in the implementation of domain-specific languages, Science of Computer Programming, v.62 n.1, p.47-65, September 2006

Steve Freeman , Nat Pryce, Evolving an embedded domain-specific language in Java, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA

José Iborra , Oscar Pastor , Vicente Pelechano, Dealing with crosscutting concerns in a model based software production method, Proceedings of the 2006 international workshop on Early aspects at ICSE, May 21-21, 2006, Shanghai, China

Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California

Aarne Ranta, Grammatical Framework, Journal of Functional Programming, v.14 n.2, p.145-189, March 2004

Erik Meijer, Confessions of a used programming language salesman, ACM SIGPLAN Notices, v.42 n.10, October 2007

Ryan Culpepper , Matthias Felleisen, Debugging macros, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria

Kazuaki Maeda, Structured data represented in Ruby syntax, Proceedings of the WSEAS International Conference on Applied Computing Conference, p.398-403, May 27-30, 2008, Istanbul, Turkey

Kazuaki Maeda, Structured data representation using Ruby syntax, WSEAS Transactions on Information Science and Applications, v.5 n.5, p.853-858, May 2008

Mark P. Jones, Experience report: playing the DSL card, ACM SIGPLAN Notices, v.43 n.9, September 2008

Jevgeni Kabanov , Rein Raudjärv, Embedded typesafe domain specific languages for Java, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy

Christian Hofer , Klaus Ostermann , Tillmann Rendel , Adriaan Moors, Polymorphic embedding of dsls, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA

Tom Dinkelaker , Mira Mezini, Dynamically linked domain-specific extensions for advice languages, Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, p.1-7, April 01-01, 2008, Brussels, Belgium

Simon Frankau , Diomidis Spinellis , Nick Nassuphis , Christoph Burgard, Commercial uses: Going functional on exotic trades, Journal of Functional Programming, v.19 n.1, p.27-45, January 2009

Tom Dinkelaker , Martin Monperrus , Mira Mezini, Untangling crosscutting concerns in domain-specific languages with domain-specific join points, Proceedings of the 4th workshop on Domain-specific aspect languages, March 03-03, 2009, Charlottesville, Virginia, USA

Jacques Carette , Oleg Kiselyov , Chung-chieh Shan, Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages, Journal of Functional Programming, v.19 n.5, p.509-543, September 2009

Paul Hudak: colleagues