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 · 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.