| Higher-order abstract syntax F Pfenning, C Elliott ACM sigplan notices 23 (7), 199-208, 1988 | 1022 | 1988 |
| Functional reactive animation C Elliott, P Hudak Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997 | 1016 | 1997 |
| Method and system for rendering graphical objects to image chunks JT Kajiya, JG Torborg Jr, MA Toelle, KE Griffin, ML Kenworthy, JM Snyder, ... US Patent 5,864,342, 1999 | 302 | 1999 |
| Method for sorting 3D object geometry among image chunks for rendering in a layered graphics rendering system JM Snyder, CM Elliott US Patent 6,326,964, 2001 | 246 | 2001 |
| Push-pull functional reactive programming CM Elliott Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 25-36, 2009 | 217 | 2009 |
| Lambda in motion: Controlling robots with Haskell J Peterson, P Hudak, C Elliott Practical Aspects of Declarative Languages: First International Workshop …, 1998 | 164 | 1998 |
| Method and system for modeling and presenting integrated media with a declarative modeling language for representing reactive behavior CM Elliott, TB Knoblock, GD Schechter, SS AbiEzzi, CL Campbell, ... US Patent 5,764,241, 1998 | 163 | 1998 |
| Genuinely functional user interfaces A Courtney, C Elliott Haskell workshop, 41-69, 2001 | 160 | 2001 |
| The simple essence of automatic differentiation C Elliott Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018 | 154 | 2018 |
| Compiling embedded languages C Elliott, S Finne, O De Moor Journal of functional programming 13 (3), 455-481, 2003 | 146 | 2003 |
| TBAG: A high level framework for interactive, animated 3D graphics applications C Elliott, G Schechter, R Yeung, S Abi-Ezzi Proceedings of the 21st annual conference on Computer graphics and …, 1994 | 129 | 1994 |
| Higher-order unification with dependent function types CM Elliott Rewriting Techniques and Applications: 3rd International Conference, RTA-89 …, 1989 | 100 | 1989 |
| Programming graphics processors functionally C Elliott Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 45-56, 2004 | 91 | 2004 |
| An embedded modeling language approach to interactive 3D and multimedia animation C Elliott IEEE transactions on software engineering 25 (3), 291-308, 1999 | 85 | 1999 |
| Compiling embedded languages C Elliott, S Finne, O De Moor Semantics, Applications, and Implementation of Program Generation …, 2000 | 81 | 2000 |
| Stretching the storage manager: weak pointers and stable names in Haskell S Peyton Jones, S Marlow, C Elliott Implementation of Functional Languages: 11th International Workshop, IFL’99 …, 2000 | 80 | 2000 |
| A semi-functional implementation of a higher-order logic programming language C Elliott, F Pfenning Topics in Advanced Language Implementation, 289-325, 1991 | 69 | 1991 |
| Functional implementations of continuous modeled animation C Elliott International Conference on Algebraic and Logic Programming, 284-299, 1998 | 68 | 1998 |
| Modeling Interactive 3D and Multimedia Animation with an Embedded Language. C Elliott DSL, 285-296, 1997 | 62 | 1997 |
| Extensions and applications of higher-order unification CM Elliott Carnegie Mellon University, 1990 | 62 | 1990 |