- Conal Elliott. Push-pull functional reactive programming. Proceedings of the 2009 Haskell Symposium. BibTeX.
- Conal Elliott. Beautiful differentiation. Proceedings of the 2009 International Conference on Functional Programming (ICFP 2009). BibTeX.
- Conal Elliott. Denotational design with type class morphisms. LambdaPix technical report 2009–01, March 2009. BibTeX.
- Conal Elliott. Simply efficient functional reactivity. LambdaPix technical report 2008–01, April 2008. Superceded by Push-pull functional reactive programming. BibTeX.
- Conal Elliott. Tangible Functional Programming. Proceedings of the 2007 International Conference on Functional Programming (ICFP 2007). BibTeX.
- Conal Elliott. Programming Graphics Processors Functionally. Proceedings of the 2004 Haskell Workshop. See also the Vertigo home page. BibTeX.
- Conal Elliott. Functional Images, A chapter in the book The Fun of Programming, “Cornerstones of Computing” series. Palgrave, March 2003. BibTeX.
- Conal Elliott, Sigbjorn Finne, Oege de Moor. Compiling Embedded Languages, Journal of Functional Programming, 13(2), 2003. Updated version of paper by the same name that appeared in SAIG ’00 proceedings, published as Springer Verlag LNCS 1924, © Springer-Verlag. See also longer tech report version. BibTeX
- Antony Courtney and Conal Elliott. Genuinely Functional User Interfaces. In Proceedings of the Haskell Workshop, September, 2001. BibTeX.
- Conal Elliott. Functional Image Synthesis, Proceedings of Bridges 2001. Large technical overlap with “Functional Images”. BibTeX
- Conal Elliott. Declarative Event-Oriented Programming. In the Proceedings of the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000).©Copyright 2000 by ACM, Inc. Older and somewhat expanded version as a 1998 tech report. BibTeX
- Conal Elliott, Oege de Moor, Sigbjorn Finne. Efficient Image Manipulation via Run-time Compilation. Microsoft Research tech report, November 1999. Superceded by “Compiling Embedded Languages” above.
- Simon Peyton Jones, Simon Marlow, and Conal Elliott. Stretching the storage manager: weak pointers and stable names in Haskell, Appeared in IFL’99. BibTeX
- Conal Elliott. An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation (© 1999 IEEE), IEEE Transactions on Software Engineering, 25(3), May/June 1999, pp 291–308. BibTeX
- John Peterson, Paul Hudak, and Conal Elliott. Lambda in Motion: Controlling Robots With Haskell, (© Springer-Verlag). In the proceedings of PADL ’99. BibTeX.
- Conal Elliott. From Functional Animation to Sprite-Based Display, In the Proceedings of PADL ’99. BibTeX
- Conal Elliott. A “Fifteen Puzzle” in Fran. October, 1998. BibTeX
- Conal Elliott. Two-handed Image Navigation in Fran, 1998 Glasgow Functional Programming Workshop. BibTeX
- Conal Elliott. Functional Implementations of Continuous Modeled Animation. In the Proceedings of PLILP/ALP ’98. BibTeX
- Conal Elliott. Composing Reactive Animations. Dr. Dobb’s Journal, July 1998. Expanded form available in HTML (52K plus 2MB of animated GIFs) or zipped form (1.9Mb). See also the Dr. Dobb’s TechNetCast interview. BibTeX
- Conal Elliott. Modeling Interactive 3D and Multimedia Animation with an Embedded Language. In the Proceedings of the first conference on Domain-Specific Languages, October 1997. Note: Superceded by “An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation” above. BibTeX
- Conal Elliott and Paul Hudak. Functional Reactive Animation. In the proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP ’97). In 2007, this paper was awarded as the most influential paper of ICFP ’97. BibTeX
- Conal Elliott. A Brief Introduction to ActiveVRML. Microsoft Research. Tech report MSR-TR–96–05. (The first formulation and implementation of the paradigm that came to be known as ``functional reactive programming’’.) BibTeX
- Conal Elliott, Greg Schechter, and Salim Abi-Ezzi. MediaFlow, a Framework for Distributed Integrated Media. Sun Microsystems Laboratories, June 1995. Technical Report SMLI TR–95–40. BibTeX
- Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi. TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications. Proceedings of SIGGRAPH ’94. BibTeX
- Greg Schechter, Conal Elliott, Ricky Yeung, and Salim Abi-Ezzi. Functional 3D Graphics in C++ — with an Object-Oriented, Multiple Dispatching Implementation. Proceedings of the 4th Eurographics Workshop on Object-Oriented Graphics, 1994. BibTeX
- Conal Elliott and Frank Pfenning. A Semi-Functional Implementation of a Higher-Order Logic Programming Language. In Peter Lee, editor, Topics in Advanced Language Implementation, pages 289–325. MIT Press, 1991. LaTeX and SML source code .tar.gz (116K). BibTeX
- Conal M. Elliott. Extensions and Applications of Higher-Order Unification. PhD thesis, School of Computer Science, Carnegie Mellon University, May 1990. Available as Technical Report CMU-CS–90–134. BibTeX
- Conal Elliott. Higher-Order Unification with Dependent Types. In N. Dershowitz, editor, Rewriting Techniques and Applications, pages 121–136, Chapel Hill, North Carolina, April 1989. Springer-Verlag LNCS 355. BibTeX
- Frank Pfenning and Conal Elliott. Higher-Order Abstract Syntax. In Proceedings of the ACM SIGPLAN ’88 Symposium on Language Design and Implementation, pages 199–208, Atlanta, Georgia, June 1988. BibTeX
- Conal Elliott. A very General Problem Oriented CAI System. Behavior Research Methods & Instrumentation, 14(2):165—169, November 1982. BibTeX
