Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

36.00 EUR

Marke: Joachim Breitner
ISBN: 3731505460
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen