Katalog Plus
Bibliothek der Frankfurt UAS
Bald neuer Katalog: sichern Sie sich schon vorab Ihre persönlichen Merklisten im Nutzerkonto: Anleitung.
Ihre Suchbegriffe : Einfache Suche: (Verfasser: Rea N)
Dieses Ergebnis aus ACM Full-Text Collection kann Gästen nicht angezeigt werden.  Login für vollen Zugriff.
« zurück zum Suchergebnis

Mechanised Semantics of Multi-stage Programming

Title: Mechanised Semantics of Multi-stage Programming
Authors: Li, Ka Wing; Kramarz, Maite; Xie, Ningning; Yallop, Jeremy
Source: Proceedings of the ACM on Programming Languages. 10(OOPSLA1):1654-1681
Availability: http://dl.acm.org/doi/10.1145/3798260
Database: ACM Full-Text Collection
Frankfurt University of Applied Sciences | Impressum | Datenschutz