[1]	Tim Sheard and Emir Pasalic. Meta-programming with built-in type equality (journal version). Electron. Notes Theor. Comput. Sci., 199:49-65, 2008. [ bib | DOI ]
[2]	Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, and Walid Taha. Implicitly heterogeneous multi-stage programming (extended version). New Generation Computing, (To appear.), 2007. [ bib ]
[3]	Seth Fogarty, Emir Pasalic, Jeremy Siek, and Walid Taha. Concoqtion: Indexed types now! In ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM '07), 2007. [ bib | .pdf | Abstract ]
[4]	Emir Pasalic, Jeremy Siek, and Walid Taha. Concoqtion: Mixing indexed types and hindley-milner type inference. Unpublished., 2006. [ bib | .pdf ]
[5]	Kedar Swadi, Walid Taha, Oleg Kiselyov, and Emir Pasalic. A monadic approach for avoiding code duplication when staging memoized functions. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '06). ACM Press, January 2006. [ bib | .pdf ]
[6]	Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, and Walid Taha. Implicitly heterogeneous multi-stage programming. In Proceedings of the 4th ACM International Conference on Generative Programming and Component Engineering (GPCE'05), volume 3676 of Lecture Notes In Computer Science. Springer-Verlag, September 2005. [ bib | .pdf | Abstract ]
[7]	Emir Pasalic and R. Nathan Linger. Meta-programming with typed object-language representations. In Gabor Karsai and Eelco Visser, editors, Generative Programming and Component Engineering: Third International Conference. Lecture Notes in Computer Science, Springer-Verlag, October 2004. [ bib | .pdf | Abstract ]
[8]	Tim Sheard and Emir Pasalic. Two-level types and parameterized modules. Journal of Functional Programming, 14(5):547-587, September 2004. [ bib | .pdf | Abstract ]
[9]	Tim Sheard and Emir Pasalic. Meta-programming with built-in type equality. In Logical Frameworks and Meta-Languages workshop. Proceedings., 2004. [ bib | .pdf | Abstract ]
[10]	Emir Pasalic. The Role of Type Equality in Meta-Programming. PhD thesis, Oregon Health and Sciences University, The OGI School of Science and Engineering, 2004. [ bib | .pdf | Abstract ]
[11]	Emir Pasalic and Tim Sheard. Implementing pattern-based binding in typed object languages. Unpublished., 2003. [ bib ]
[12]	Emir Pasalic, Tim Sheard, and Walid Taha. Tagless staged interpreters for typed languages. In The International Conference on Functional Programming (ICFP '02). ACM, ACM Press, October 2002. [ bib | .pdf | Abstract ]
[13]	Andrew Moran, James Teisher, Andrew Gill, Emir Pasalic, and J. Veneruso. Automated translation of legacy code for ATE. In International Test Conference 2001 (ITC '01), pages 148- 156. IEEE, October 2001. [ bib | .pdf ]
[14]	Emir Pasalic, Tim Sheard, and Walid Taha. Dali: An untyped, cbv functional language supporting first-order datatypes with binders. Unpublished., 2000. [ bib | .pdf | Abstract ]
[15]	Tim Sheard, Zine-el-Abidine Benaissa, and Emir Pasalic. Dsl implementation using staging and monads. In Second Conference on Domain-Specific Languages (DSL'99), pages 81-94, New York, NY, USA, October 1999. USENIX, ACM Press. [ bib | .pdf ]
[16]	Judith Bayard Cushing, Justin Laird, Emir Pasalic, Elizabeth Kutter, Tim Hunkapiller, Frank Zucker, and David P. Yee. Beyond interoperability - tracking and managing the results of computational applications. In Ninth International Conference on Scientific and Statistical Database Management. IEEE Computer Society Press, 1997. [ bib ]