This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift. We attemptto summarize Phil Wadler’s scientific achievements. In addition, we describethe personal style and enthusiasm that Phil has brought to the subject.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● ISBN 9783319309361 ● 编辑 Sam Lindley & Conor McBride ● 出版者 Springer International Publishing ● 发布时间 2016 ● 下载 3 时 ● 货币 EUR ● ID 6303777 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器