Programming Languages and Systems

Discover the fascinating world of programming languages with Programming Languages and Systems by Atsushi Igarashi. This comprehensive volume, published by Springer International Publishing AG in 2016, features the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems (APLAS 2016), held in Hanoi, Vietnam. Spanning 465 pages, this first edition delves into a wide array of topics, including semantics, logics, foundational theory, and the design of language type systems and foundational calculi. Whether you are a student, researcher, or practitioner in the field of computer science, this book offers valuable insights and cutting-edge research that will enhance your understanding of programming languages and systems. Don't miss your chance to explore these essential concepts that shape the future of programming!