Ralf Lämmel
Hat mitgewirkt an:
-
Functional meta-programs towards reusability in the declarative paradigm
-
Generative and transformational techniques in software engineering : international summer school ; revised papers
-
Provable correctness of prototype interpreters in LDL
-
Generative and transformational techniques in software engineering IV : international summer school ; revised papers