DOCUMENT RESOURCES FOR EVERYONE
Documents tagged
Self Improvement types, types, types

In a weird parallel world where programming is based on type theory, every term has a type, if you declare it or not, every function has a type, and polymorphic functions…

Software Type Theory and Practical Application

Overview of Type Theory, emphasizing Homotopy Type Theory, and introduction to practical application.

Documents 150years Organic Chemistry

Chapter 4 150 Years of Organic Structures David E. Lewis* Department of Chemistry, University of Wisconsin-Eau Claire, Eau Claire, WI 54702 [email protected] In 1858, a pair…

Documents Assessment History Ii

1. The Spitler Group LLC Human Capital Development BEHAVIORAL ASSESSMENTS Bing G. Spitler Spitler Group LLC (513) 382-7675 2. The Spitler Group LLC Human Capital Development…

Technology Raising The Bar

1. Raising The Bar1Thursday, 2 May 13 2. Hacking Yourself• We’ve taught & mentored a lot over the years– Ben Evans (@kittylyst)– Martijn Verburg (@karianna)•…

Documents Ti1220 Lecture 7: Polymorphism

1. Lecture 6: Polymorphism TI1220 2012-2013 Concepts of Programming Languages Eelco Visser / TU Delft 2. Robin Milner is generally regarded as havingmade three major contributions…

Technology Bitcoin protocol for developers at techfest

1. Alberto Gómez Toribio ( @gotoalberto ) Bitcoin protocol for developers Except where otherwise noted, this work is licensed under: http://creativecommons.org/licenses/by-nc-sa/3.0/…

Documents Software Science Track Frits Vaandrager. The Super Power of Software “It is amazing. I think it is...

Slide 1Software Science Track Frits Vaandrager Slide 2 The Super Power of Software “It is amazing. I think it is the closest thing we have to super power!” Drew Houston,…

Documents +=+= +=+= Build Team Chemistry Using MBTI. Questions we will answer today! What is MBTI and how...

Slide 1+=+= +=+= Build Team Chemistry Using MBTI Slide 2 Questions we will answer today!  What is MBTI and how does it help build chemistry?  What is my best-fit “type”?…