Folgen
Emir Pasalic
Emir Pasalic
LogicBlox Inc
Bestätigte E-Mail-Adresse bei logicblox.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2692015
Tagless staged interpreters for typed languages
E PašaliΕ, W Taha, T Sheard
Proceedings of the seventh ACM SIGPLAN international conference on …, 2002
942002
Meta-programming with built-in type equality
T Sheard, E Pasalic
Electronic Notes in Theoretical Computer Science 199, 49-65, 2008
812008
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
692007
Concoqtion: indexed types now!
S Fogarty, E Pasalic, J Siek, W Taha
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
692007
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
492006
The role of type equality in meta-programming
E Pasalic
Oregon Health & Science University, 2004
402004
Two-level types and parameterized modules
T Sheard, E Pasalic
Journal of Functional Programming 14 (5), 547-587, 2004
392004
Meta-programming with typed object-language representations
E Pašalić, N Linger
Generative Programming and Component Engineering: Third International …, 2004
392004
Typed datalog
D Zook, E Pasalic, B Sarna-Starosta
Practical Aspects of Declarative Languages: 11th International Symposium …, 2009
242009
Implicitly heterogeneous multi-stage programming
J Eckhardt, R Kaiabachev, E Pasalic, K Swadi, W Taha
New Generation Computing 25, 305-336, 2007
242007
Implicitly heterogeneous multi-stage programming
J Eckhardt, R Kaiabachev, E Pašalić, K Swadi, W Taha
Generative Programming and Component Engineering: 4th International …, 2005
222005
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
112018
Systems and methods for identifying sets of similar products
L Williams, E Pasalic, N Vasiloglou
US Patent 8,682,883, 2014
112014
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 (extended version)
E Pasalic, J Siek, W Taha
Technical report, Rice University, 2006
82006
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
42018
Relating Constraint Handling Rules to Datalog
B Sarna-Starosta, D Zook, E Pasalic, M Aref
CHR 8, 127-141, 2008
42008
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
32006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20