Emir Pasalic
Title
Cited by
Cited by
Year
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
2242015
DSL implementation using staging and monads
T Sheard, ZEA Benaissa, E Pasalic
ACM SIGPLAN Notices 35 (1), 81-94, 1999
741999
Concoqtion: indexed types now!
S Fogarty, E Pasalic, J Siek, W Taha
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
672007
Concoqtion: indexed types now!
S Fogarty, E Pasalic, J Siek, W Taha
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
672007
Meta-programming with built-in type equality
T Sheard, E Pasalic
Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004
622004
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
482006
Meta-programming with typed object-language representations
E Pašalić, N Linger
International Conference on Generative Programming and Component Engineering …, 2004
372004
Two-level types and parameterized modules
T Sheard, E Pasalic
Journal of Functional Programming 14 (5), 547-587, 2004
372004
The role of type equality in meta-programming
E Pasalic
Oregon Health & Science University, 2004
372004
Implicitly heterogeneous multi-stage programming
J Eckhardt, R Kaiabachev, E Pasalic, K Swadi, W Taha
New Generation Computing 25 (3), 305-336, 2007
222007
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
222005
Typed datalog
D Zook, E Pasalic, B Sarna-Starosta
International Symposium on Practical Aspects of Declarative Languages, 168-182, 2009
202009
Meta-programming with built-in type equality
T Sheard, E Pasalic
Electronic Notes in Theoretical Computer Science 199, 49-65, 2008
172008
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
Systems and methods for identifying sets of similar products
L Williams, E Pasalic, N Vasiloglou
US Patent 8,682,883, 2014
102014
Concoqtion: Mixing dependent types and Hindley-Milner type inference
E Pasalic, J Siek, W Taha
82006
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
72018
Relating Constraint Handling Rules to Datalog
B Sarna-Starosta, D Zook, E Pasalic, M Aref
CHR 8, 127-141, 2008
42008
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
32018
Extending datalog with analytics in LogicBlox
M Aref, B Kimelfeld, E Pasalic, N Vasiloglou
Proceedings of the 9th Alberto Mendelzon International Workshop on …, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20