| |
|
| |
|
| |
|
| |
(23 Mar 2009)
by Benjamin J. Weiner, Michael R. Blanton, Alison L. Coil, et al.Michael C. Cooper, Romeel Davé, David W. Hogg, Bradford P. Holden, Patrik Jonsson, Susan A. Kassin, Jennifer M. Lotz, John Moustakas, Jeffrey A. Newman, J. X. Prochaska, Peter J. Teuben, Christy A. Tremonti, Christopher N. A. Willmer
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Theoretical Computer Science, Vol. 327, No. 1-2. (25 October 2004), pp. 71-108.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 106 (11 December 2004), pp. 167-184.
|
| |
Algebra and Coalgebra in Computer Science (2005), pp. 213-231.
|
| |
Foundations of Software Science and Computational Structures (2008), pp. 246-260.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 203, No. 5. (12 June 2008), pp. 131-152.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007), pp. 122-133.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|