Algol-like Languages

  title={Algol-like Languages},
  author={R. V. Book},
  booktitle={Progress in Theoretical Computer Science},
  • R. V. Book
  • Published in
    Progress in Theoretical…
Follow up what we will offer in this article about algol like languages. You know really that this book is coming as the best seller book today. So, when you are really a good reader or you're fans of the author, it does will be funny if you don't have this book. It means that you have to get this book. For you who are starting to learn about something new and feel curious about this book, it's easy then. Just get this book and feel how this book will give you more exciting lessons. 
45 Citations
From Algol to polymorphic linear lambda-calculus
The regular-language semantics of second-order idealized ALGOL
The Regular-Language Semantics of First-Order Idealized Algol
Logic for Computational Effects: Work in Progress
Regular-Language Semantics for a Call-by-Value Programming Language
  • D. Ghica
  • Computer Science, Mathematics
  • MFPS
  • 2001
On linear types and imperative update
Modelling Local Variables: Possible Worlds and Object Spaces