- Conal Elliott. Timely Computation.
Appeared at ICFP 2023.
- Conal Elliott. Symbolic and
Automatic Differentiation of Languages. ICFP 2021.
- Conal Elliott. Generalized convolution and
efficient language recognition. March 2019.
- Conal Elliott. The simple essence of
automatic differentiation. ICFP 2018.
- Conal Elliott. Compiling to
categories. ICFP 2017.
- Conal Elliott. Generic
parallel functional programming. ICFP 2017.
- 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, March 1994. 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