Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation)

Functional

by Paul Blain Levy

Paperback

ISBN: 978-94-010-3752-5

ISBN-10: 94-010-3752-3

Springer · 2012