3. “... tractable syntatic method for preserving the absence
of certain program behaviors by classifying phrases
according to the kinds of values they compute.”
Types and Programming Languages (2002)
13. “... tractable syntatic method for preserving the absence
of certain program behaviors by classifying phrases
according to the kinds of values they compute.”
Types and Programming Languages (2002)
14. “... tractable syntatic method for preserving the absence
of certain program behaviors by classifying phrases
according to the kinds of values they compute.”
Types and Programming Languages (2002)
29. Small Acts Manifesto
We are discovering better ways of building
communities by connecting people
Trust, Dialog, Personal Contact, Transparency, Diversity,
Self-organization, Example, Consistency, Give, give, give!, Do it!
http://smallactsmanifesto.org/
30. Comunidades
Dinamicamente Tipadas
e lições aprendidas em um
Coding Dojo
http://www.flickr.com/photos/caike/3673576867/
http://www.flickr.com/photos/jensvins/4447418345/ caikesouza.com
http://www.flickr.com/photos/expressmonorail/2631659122 @caike
http://www.flickr.com/photos/caike/4557220567
http://www.flickr.com/photos/guilhermechapiewski/3921483865