| Design and implementation of the LogicBlox system M Aref, B ten Cate, TJ Green, B Kimelfeld, D Olteanu, E Pasalic, ... Proceedings of the 2015 ACM SIGMOD International Conference on Management of …, 2015 | 253 | 2015 |
| Tagless staged interpreters for typed languages E PašaliΕ, W Taha, T Sheard Proceedings of the seventh ACM SIGPLAN international conference on …, 2002 | 97 | 2002 |
| DSL implementation using staging and monads T Sheard, ZEA Benaissa, E Pasalic ACM SIGPLAN Notices 35 (1), 81-94, 1999 | 78 | 1999 |
| Concoqtion: indexed types now! S Fogarty, E Pasalic, J Siek, W Taha Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 68 | 2007 |
| Concoqtion: indexed types now! S Fogarty, E Pasalic, J Siek, W Taha Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 68 | 2007 |
| Meta-programming with built-in type equality T Sheard, E Pasalic Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004 | 63 | 2004 |
| A monadic approach for avoiding code duplication when staging memoized functions K Swadi, W Taha, O Kiselyov, E Pasalic Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006 | 49 | 2006 |
| The role of type equality in meta-programming E Pasalic Oregon Health & Science University, 2004 | 39 | 2004 |
| Meta-programming with typed object-language representations E Pašalić, N Linger International Conference on Generative Programming and Component Engineering …, 2004 | 38 | 2004 |
| Two-level types and parameterized modules T Sheard, E Pasalic Journal of Functional Programming 14 (5), 547-587, 2004 | 38 | 2004 |
| Typed datalog D Zook, E Pasalic, B Sarna-Starosta International Symposium on Practical Aspects of Declarative Languages, 168-182, 2009 | 24 | 2009 |
| Implicitly heterogeneous multi-stage programming J Eckhardt, R Kaiabachev, E Pasalic, K Swadi, W Taha New Generation Computing 25 (3), 305-336, 2007 | 23 | 2007 |
| Implicitly heterogeneous multi-stage programming J Eckhardt, R Kaiabachev, E Pašalić, K Swadi, W Taha International Conference on Generative Programming and Component Engineering …, 2005 | 22 | 2005 |
| Meta-programming with built-in type equality T Sheard, E Pasalic Electronic Notes in Theoretical Computer Science 199, 49-65, 2008 | 17 | 2008 |
| Modelling machine learning algorithms on relational data with datalog N Makrynioti, N Vasiloglou, E Pasalic, V Vassalos Proceedings of the Second Workshop on Data Management for End-To-End Machine …, 2018 | 11 | 2018 |
| Systems and methods for identifying sets of similar products L Williams, E Pasalic, N Vasiloglou US Patent 8,682,883, 2014 | 11 | 2014 |
| Metaocaml-a compiled, type-safe, multi-stage programming language, 2006 W Taha, C Calcagno, X Leroy, E Pizzi, E Pasalic, JL Eckhardt, ... See: http://www. metaocaml. org, 0 | 11 | |
| Concoqtion: Mixing dependent types and Hindley-Milner type inference E Pasalic, J Siek, W Taha | 8 | 2006 |
| SolverBlox: algebraic modeling in datalog C Borraz-Sánchez, D Klabjan, E Pasalic, M Aref Declarative Logic Programming: Theory, Systems, and Applications, 331-354, 2018 | 4 | 2018 |
| Relating Constraint Handling Rules to Datalog B Sarna-Starosta, D Zook, E Pasalic, M Aref CHR 8, 127-141, 2008 | 4 | 2008 |
