Higher-Order Abstract Syntax. - Frank Pfenning; Conal Elliott (PLDI, 1988)

Higher-order Unification with Dependent Function Types. - Conal Elliott (RTA, 1989)

Functional 3D Graphics in C++ - with an Object-Oriented, Multiple Dispatching Implementation. - Greg Schechter; Conal Elliott; Ricky Yeung; Salim S. Abi-Ezzi (Workshop on Object-Oriented Graphics, 1994)

TBAG: a high level framework for interactive, animated 3D graphics applications. - Conal Elliott; Greg Schechter; Ricky Yeung; Salim S. Abi-Ezzi (SIGGRAPH, 1994)

Modeling Interactive 3D and Multimedia Animation with an Embedded Language. - Conal Elliott (DSL, 1997)

Functional Reactive Animation. - Conal Elliott; Paul Hudak (ICFP, 1997)

Functional Implementations of Continuos Modeled Animation. - Conal Elliott (PLILP/ALP, 1998)

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell. - Simon L. Peyton Jones; Simon Marlow; Conal Elliott (IFL, 1999)

From Functional Animation to Sprite-Based Display. - Conal Elliott (PADL, 1999)

Lambda in Motion: Controlling Robots with Haskell. - John Peterson; Paul Hudak; Conal Elliott (PADL, 1999)

An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation. - Conal Elliott (IEEE Trans. Software Eng., 1999)

Declarative event-oriented programming. - Conal Elliott (PPDP, 2000)

Compiling embedded languages. - Conal Elliott; Sigbjørn Finne; Oege de Moor (J. Funct. Program., 2003)

Programming graphics processors functionally. - Conal Elliott (Haskell, 2004)

Tangible functional programming. - Conal Elliott (ICFP, 2007)

Push-pull functional reactive programming. - Conal M. Elliott (Haskell, 2009)

Beautiful differentiation. - Conal M. Elliott (ICFP, 2009)

Generic functional parallel algorithms: scan and FFT. - Conal Elliott (Proc. ACM Program. Lang., 2017)

Compiling to categories. - Conal Elliott (Proc. ACM Program. Lang., 2017)

The simple essence of automatic differentiation (Differentiable functional programming made easy). - Conal Elliott (CoRR, 2018)

The simple essence of automatic differentiation. - Conal Elliott (Proc. ACM Program. Lang., 2018)

Generalized Convolution and Efficient Language Recognition. - Conal Elliott (CoRR, 2019)

Symbolic and automatic differentiation of languages. - Conal Elliott (Proc. ACM Program. Lang., 2021)

Timely Computation. - Conal Elliott (Proc. ACM Program. Lang., 2023)