Title

Login

Join

Book's by Thorsten Altenkirch

Covers

List

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

By: Thorsten Altenkirch

Write a review Read reviews Take a Quiz Solve Book Puzzle

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

By: Thorsten Altenkirch

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.

Average ratings

N/A

5

0%

4

0%

3

0%

2

0%

1

0%

Solve jigsaw puzzle

Age

Page Count

276

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540744630

ISBN 13

9783540744634

Conceptual Programming with Python

By: Thorsten Altenkirch,Isaac Triguero

Write a review Read reviews Take a Quiz Solve Book Puzzle

Conceptual Programming with Python

By: Thorsten Altenkirch,Isaac Triguero

Thorsten and Isaac have written this book based on a programming course we teach for Master's Students at the School of Computer Science of the University of Nottingham. The book is intended for students with little or no background in programming coming from different backgrounds educationally as well as culturally. It is not mainly a Python course but we use Python as a vehicle to teach basic programming concepts. Hence, the words conceptual programming in the title. We cover basic concepts about data structures, imperative programming, recursion and backtracking, object-oriented programming, functional programming, game development and some basics of data science.

Average ratings

N/A

5

0%

4

0%

3

0%

2

0%

1

0%

Solve jigsaw puzzle

Age

Page Count

262

Publisher

Lulu.com

Published Date

ISBN 10

024482276X

ISBN 13

9780244822767

Conceptual Programming with Python

By: Thorsten Altenkirch,Isaac Triguero

Write a review Read reviews Take a Quiz Solve Book Puzzle

Conceptual Programming with Python

By: Thorsten Altenkirch,Isaac Triguero

Thorsten and Isaac have written this book based on a programming course we teach for Master's Students at the School of Computer Science of the University of Nottingham. The book is intended for students with little or no background in programming coming from different backgrounds educationally as well as culturally. It is not mainly a Python course but we use Python as a vehicle to teach basic programming concepts. Hence, the words conceptual programming in the title. We cover basic concepts about data structures, imperative programming, recursion and backtracking, object-oriented programming, functional programming, game development and some basics of data science.

Average ratings

N/A

5

0%

4

0%

3

0%

2

0%

1

0%

Solve jigsaw puzzle

Age

Page Count

262

Publisher

Lulu.com

Published Date

ISBN 10

024482276X

ISBN 13

9780244822767

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

By: Thorsten Altenkirch

Write a review Read reviews Take a Quiz Solve Book Puzzle

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

By: Thorsten Altenkirch

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.

Average ratings

N/A

5

0%

4

0%

3

0%

2

0%

1

0%

Solve jigsaw puzzle

Age

Page Count

276

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540744630

ISBN 13

9783540744634

Types for Proofs and Programs

International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

By: Thorsten Altenkirch,Wolfgang Naraschewski,Bernhard Reus

Write a review Read reviews Take a Quiz Solve Book Puzzle

Types for Proofs and Programs

International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

By: Thorsten Altenkirch,Wolfgang Naraschewski,Bernhard Reus

Thesetypetheoriescombinetheim- 2 predicativetype of propositions , from the calculus of constructions,[5], with theinductivetypesandhierarchyoftypeuniversesofMartin-Lo ̈f’sconstructive typetheory,[13]. Intuitivelythereisaneasywaytodetermineanupperbound ontheprooftheoreticstrength. Thisistousethe‘obvious’types-as-sets- terpretation of these type theories in a strong enough classical axiomatic set theory.

Average ratings

N/A

5

0%

4

0%

3

0%

2

0%

1

0%

Solve jigsaw puzzle

Age

Page Count

222

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540665374

ISBN 13

9783540665373

PLPV '09

Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Savannah, Georgia, USA, January 20, 2009

By: Thorsten Altenkirch,Todd Millstein

Write a review Read reviews Take a Quiz Solve Book Puzzle

PLPV '09

Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Savannah, Georgia, USA, January 20, 2009

By: Thorsten Altenkirch,Todd Millstein

POPL '09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Jan 18, 2009-Jan 24, 2009 Savannah, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.

Average ratings

N/A

5

0%

4

0%

3

0%

2

0%

1

0%

Solve jigsaw puzzle

Age

Page Count

82

Publisher

Association for Computing Machinery (ACM)

Published Date

ISBN 10

1605583308

ISBN 13

9781605583303