| 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 | 323 | 2015 |
| Tagless staged interpreters for typed languages E PašaliΕ, W Taha, T Sheard Proceedings of the seventh ACM SIGPLAN international conference on …, 2002 | 95 | 2002 |
| Meta-programming with built-in type equality T Sheard, E Pasalic Electronic Notes in Theoretical Computer Science 199, 49-65, 2008 | 84 | 2008 |
| 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 | 69 | 2007 |
| 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 | 52 | 2006 |
| The role of type equality in meta-programming E Pasalic Oregon Health & Science University, 2004 | 41 | 2004 |
| Meta-programming with typed object-language representations E Pašalić, N Linger International Conference on Generative Programming and Component Engineering …, 2004 | 40 | 2004 |
| Two-level types and parameterized modules T Sheard, E Pasalic Journal of Functional Programming 14 (5), 547-587, 2004 | 40 | 2004 |
| Typed datalog D Zook, E Pasalic, B Sarna-Starosta Practical Aspects of Declarative Languages: 11th International Symposium …, 2009 | 26 | 2009 |
| Implicitly heterogeneous multi-stage programming J Eckhardt, R Kaiabachev, E Pasalic, K Swadi, W Taha New Generation Computing 25, 305-336, 2007 | 22 | 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 |
| Systems and methods for identifying sets of similar products L Williams, E Pasalic, N Vasiloglou US Patent 8,682,883, 2014 | 16 | 2014 |
| 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 | 14 | 2018 |
| 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 | 10 | |
| 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 | 7 | 2018 |
| Concoqtion: Mixing dependent types and Hindley-Milner type inference (extended version) E Pasalic, J Siek, W Taha Technical report, Rice University, 2006 | 7 | 2006 |
| Concoqtion: Mixing indexed types and Hindley-Milner type inference E Pašalic, JG Siek, W Taha Unpublished. http://homepage. mac. com/pasalic/p2/papers/PST06. pdf, 2006 | 3 | 2006 |
| Algebraic modeling in Datalog C Borraz-Sánchez, J Ma, D Klabjan, R Fourer, E Pasalic, M Aref | 3 | |
| Extending datalog with analytics in LogicBlox M Aref, B Kimelfeld, E Pasalic, N Vasiloglou Proceedings of the 9th Alberto Mendelzon International Workshop on …, 2015 | 2 | 2015 |
