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

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

36.00 EUR 36.00 EUR

25-09-2026 16:32:00

Access to the deal

36.00 EUR 36.00 EUR

25-09-2026 22:35:16

Access to the deal

36.00 EUR 36.00 EUR

25-09-2026 11:54:47

Access to the deal