Conal Elliott, Simply efficient functional reactivity .
Unpublished draft.
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
1998HTML (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.
(Describes a predecessor of Fran.) BibTeX
Conal Elliott, Greg Schechter, and Salim Abi-Ezzi. MediaFlow, a Framework for Distributed Integrated
Media 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. and 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