Travelled to:
1 × Australia
1 × Canada
1 × Estonia
1 × France
3 × USA
Collaborated with:
W.Taha N.Linger K.N.Swadi D.Zook B.Sarna-Starosta T.Sheard S.Fogarty J.G.Siek O.Kiselyov J.Eckhardt R.Kaiabachev M.Aref B.t.Cate T.J.Green B.Kimelfeld D.Olteanu T.L.Veldhuizen G.Washburn
Talks about:
type (4) stage (3) program (2) languag (2) represent (1) interpret (1) implement (1) heterogen (1) implicit (1) function (1)
Person: Emir Pasalic
DBLP: Pasalic:Emir
Contributed to:
Wrote 7 papers:
- SIGMOD-2015-ArefCGKOPVW #design #implementation
- Design and Implementation of the LogicBlox System (MA, BtC, TJG, BK, DO, EP, TLV, GW), pp. 1371–1382.
- PADL-2009-ZookPS #datalog
- Typed Datalog (DZ, EP, BSS), pp. 168–182.
- PEPM-2007-FogartyPST #exclamation #named
- Concoqtion: indexed types now! (SF, EP, JGS, WT), pp. 112–121.
- PEPM-2006-SwadiTKP #approach #monad #staging
- A monadic approach for avoiding code duplication when staging memoized functions (KNS, WT, OK, EP), pp. 160–169.
- GPCE-2005-EckhardtKPST #multi #programming
- Implicitly Heterogeneous Multi-stage Programming (JE, RK, EP, KNS, WT), pp. 275–292.
- GPCE-2004-PasalicL #metaprogramming
- Meta-programming with Typed Object-Language Representations (EP, NL), pp. 136–167.
- ICFP-2002-PasalicTS #staged
- Tagless staged interpreters for typed languages (EP, WT, TS), pp. 218–229.