Higher-order abstract syntax F Pfenning, C Elliott ACM sigplan notices 23 (7), 199-208, 1988 | 965 | 1988 |
Functional reactive animation C Elliott, P Hudak Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997 | 944 | 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 | 289 | 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 | 245 | 2001 |
Push-pull functional reactive programming CM Elliott Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 25-36, 2009 | 197 | 2009 |
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 | 156 | 1998 |
Lambda in motion: Controlling robots with Haskell J Peterson, P Hudak, C Elliott Practical Aspects of Declarative Languages: First International Workshop …, 1998 | 156 | 1998 |
Genuinely functional user interfaces A Courtney, C Elliott Haskell workshop, 41-69, 2001 | 153 | 2001 |
Compiling embedded languages C Elliott, S Finne, O De Moor Journal of functional programming 13 (3), 455-481, 2003 | 139 | 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 | 134 | 1994 |
The simple essence of automatic differentiation C Elliott Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018 | 104 | 2018 |
Higher-order unification with dependent function types CM Elliott Rewriting Techniques and Applications: 3rd International Conference, RTA-89 …, 1989 | 98 | 1989 |
Programming graphics processors functionally C Elliott Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 45-56, 2004 | 87 | 2004 |
Compiling embedded languages C Elliott, S Finne, O De Moor SAIG 1924, 9-27, 2000 | 85 | 2000 |
An embedded modeling language approach to interactive 3D and multimedia animation C Elliott IEEE transactions on software engineering 25 (3), 291-308, 1999 | 79 | 1999 |
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 | 73 | 2000 |
A semi-functional implementation of a higher-order logic programming language C Elliott, F Pfenning Topics in Advanced Language Implementation, 289-325, 1991 | 66 | 1991 |
Functional implementations of continuous modeled animation C Elliott Principles of Declarative Programming: 10th International Symposium, PLILP …, 2006 | 64 | 2006 |
Extensions and applications of higher-order unification CM Elliott Carnegie Mellon University, 1990 | 62 | 1990 |
Modeling Interactive 3D and Multimedia Animation with an Embedded Language. C Elliott DSL, 285-296, 1997 | 60 | 1997 |