Sciweavers

TLDI
2009
ACM
100views Formal Methods» more  TLDI 2009»
14 years 9 months ago
Typed transformations of typed abstract syntax
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
Arthur I. Baars, S. Doaitse Swierstra, Marcos Vier...