 | 2007 |
|---|
| 6 |       | Jason Eckhardt,
Roumen Kaiabachev,
Emir Pasalic,
Kedar N. Swadi,
Walid Taha:
Implicitly Heterogeneous Multi-Stage Programming.
New Generation Comput. 25(3): 305-336 (2007) |
| 2006 |
|---|
| 5 | | Kedar N. Swadi,
Walid Taha,
Oleg Kiselyov,
Emir Pasalic:
A monadic approach for avoiding code duplication when staging memoized functions.
PEPM 2006: 160-169 |
| 2005 |
|---|
| 4 | | Jason Eckhardt,
Roumen Kaiabachev,
Emir Pasalic,
Kedar N. Swadi,
Walid Taha:
Implicitly Heterogeneous Multi-stage Programming.
GPCE 2005: 275-292 |
| 2004 |
|---|
| 3 | | Oleg Kiselyov,
Kedar N. Swadi,
Walid Taha:
A methodology for generating verified combinatorial circuits.
EMSOFT 2004: 249-258 |
| 2 | | Miguel Guerrero,
Edward Pizzi,
Robert Rosenbaum,
Kedar N. Swadi,
Walid Taha:
Implementing DSLs in metaOCaml.
OOPSLA Companion 2004: 41-42 |
| 1 | | Gang Tan,
Andrew W. Appel,
Kedar N. Swadi,
Dinghao Wu:
Construction of a Semantic Model for a Typed Assembly Language.
VMCAI 2004: 30-43 |
