Difference between revisions of "Hac NYC/Talks"
From HaskellWiki
< Hac NYC
(→Talks) 
(→Talks) 

Line 7:  Line 7:  
! Speaker 
! Speaker 

! Description 
! Description 

−   

−   A name 

−   John Doe 

−   A short description 

 
 

 style="width: 150px;"  An invitation to Homotopy Type Theory 
 style="width: 150px;"  An invitation to Homotopy Type Theory 

Line 16:  Line 12:  
 You won't know HoTT or understand it at the end of this talk. But you may understand at least what the domain is, why it is of interest, and even maybe have some notion of what "univalence" could be and why it is reasonable to expect that it should compute. 
 You won't know HoTT or understand it at the end of this talk. But you may understand at least what the domain is, why it is of interest, and even maybe have some notion of what "univalence" could be and why it is reasonable to expect that it should compute. 

 
 

−  +   Ocaml Eye for the Haskell Guy 

 Clark Gaebel 
 Clark Gaebel 

 OCaml is similar to Haskell, but different. I'll talk about some cool things it can do that Haskell can't. 
 OCaml is similar to Haskell, but different. I'll talk about some cool things it can do that Haskell can't. 
Revision as of 01:39, 23 January 2014
If you'd like to give a talk, announce it here; tell us your name, the title of the talk, a short description. Please also let us know if you won't be attending Saturday afternoon and want to present at some other time.
Talks
Talk Name  Speaker  Description 

An invitation to Homotopy Type Theory  Gershom Bazerman  You won't know HoTT or understand it at the end of this talk. But you may understand at least what the domain is, why it is of interest, and even maybe have some notion of what "univalence" could be and why it is reasonable to expect that it should compute. 
Ocaml Eye for the Haskell Guy  Clark Gaebel  OCaml is similar to Haskell, but different. I'll talk about some cool things it can do that Haskell can't. 