Result: Rewriting of higher-order-meta-expressions with recursive bindings

*Title*:

*Author/editor-in-chief*:

*Publication*:

Frankfurt am Main : Goethe-Univ., Fachbereich Informatik und Mathematik, Institut für Informatik, 2017

*Distribution*:

Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg

*Physical description scale*:

1 Online-Ressource (16 Seiten)

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Frankfurter Informatik-Berichte, ISSN 1868-8330 ; [2017,1]

*Result*: Rewriting of higher-order-meta-expressions with recursive bindings