Home

Great Papers lightning talk sign-up:

Presenter	Paper Title
Christopher Carpenter mordocai	Fundamental Concepts in Programming Languages (01-fundamental-concepts-in-programming-languages)
Christopher Carpenter mordocai	Why Functional Programming Matters (02-why-functional-programming-matters)

      | An Axiomatic Basis for Computer Programming (03-axiomatic-basis-computer-programming)
      | Time, Clocks, and the Ordering of Events in a Distributed System (04-time-clocks)

Soumya D. Sanyal | On Understanding Types, Data Abstraction, and Polymorphism (05-cardelli85understanding) Soumya D. Sanyal | Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I (06-recursive) | Predicate Dispatch: A Unified Theory of Dispatch (07-predicate-dispatching) | Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same (08-Equal-rights-for-functional-objects) | Organizing Programs Without Classes (09-Organizing-programs-without-classes) BJ Kennedy @arcdrag | Dynamo: Amazon’s Highly Available Key-value Store (10-amazon-dynamo) | Out of the Tar Pit (11-out-of-the-tar-pit)