СТ |
A Gentle Introduction to Multi-stage Programming |
2004 |
Taha W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
24.07.2004 |
СТ |
DSL Implementation in MetaOCaml, Template Haskell, and C++ |
2004 |
Czarnecki K., O Donnell J. T., Striegnitz J., Taha W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
24.07.2004 |
СТ |
ML-Like Inference for Classifiers |
2004 |
Calcagno C., Moggi E., Taha W. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
СТ |
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection |
2003 |
Calcagno C., Taha W., Huang L., Leroy X. |
|
|
|
Lecture Notes in Computer Science |
27.11.2003 |
СТ |
Staged Notational Definitions |
2003 |
Taha W., Johann P. |
|
|
|
Lecture Notes in Computer Science |
27.11.2003 |
СТ |
Event-Driven FRP |
2002 |
Wan Z., Taha W., Hudak P. |
|
|
|
Lecture Notes in Computer Science |
27.02.2002 |
СТ |
Directions in Functional Programming for Real(-Time) Applications |
2001 |
Taha W., Hudak P., Wan Z. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
СТ |
Tag Elimination and Jones-Optimality |
2001 |
Taha W., Makholm H., Hughes J. |
|
|
|
Lecture Notes in Computer Science |
24.05.2001 |
СТ |
An Idealized MetaML: Simpler, and More Expressive |
1999 |
Moggi E., Taha W., Benaissa Z.E. -A., Sheard T. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
СТ |
Multi-Stage Programming with Explicit Annotations |
1997 |
Taha W., Sheard T. |
|
|
|
SIGPLAN Notices |
27.01.1998 |