| description |
See the <a href="https://groups.google.com/forum/#!forum/pdxfunc">mailing list</a> for details on this month's agenda.
Attendance is limited at this venue. RSVP via the <a href="http://www.meetup.com/Portland-Functional-Programming-Study-Group/">Meetup group</a>.
<em>ABOUT THE GROUP: Join programmers, researchers and enthusiasts to discuss functional programming. pdxfunc is a study/user group exploring the world of functional programming, based in Portland, Oregon. The group welcomes programmers interested in all functional languages, including Haskell, Erlang, OCaml, Lisp, Clojure, Scala, Oz, Agda, Idris, and others. The group meets regularly on the second Monday of the month for presentations, demos and discussions applicable to all skill levels, from newbies and experts.</em> |
→ |
This month:
Jon Sterling will give an introduction to Computational Type Theory and its proof
refinement logic, and show off some super cool stuff in JonPRL and Nuprl,
like how to get coinductive types for free from intersection types and
general recursion. And of course, answer a ton of questions.
See the <a href="https://groups.google.com/forum/#!forum/pdxfunc">mailing list</a> for details on this month's agenda.
Attendance is limited at this venue. RSVP via the <a href="http://www.meetup.com/Portland-Functional-Programming-Study-Group/">Meetup group</a>.
<em>ABOUT THE GROUP: Join programmers, researchers and enthusiasts to discuss functional programming. pdxfunc is a study/user group exploring the world of functional programming, based in Portland, Oregon. The group welcomes programmers interested in all functional languages, including Haskell, Erlang, OCaml, Lisp, Clojure, Scala, Oz, Agda, Idris, and others. The group meets regularly on the second Monday of the month for presentations, demos and discussions applicable to all skill levels, from newbies and experts.</em> |