Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Ana Bove · Luis Soares Barbosa · Alberto Pardo · Jorge Sousa Pinto
2009年7月 · Springer Science & Business Media
電子書
301
頁
免費試閱
關於本電子書
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.