Talks with John Wiegley and Gabriel Gonzalez
Details
Two exciting talks:
• John Wiegley will give an introduction to universal and existential quantification in Haskell. He'll cover the GHC extensions involved and provide real-world examples.
• Gabriel Gonzalez will talk about his typed-spreadsheet (https://hackage.haskell.org/package/typed-spreadsheet) library. Typed-spreadsheets lets you specify computations in Haskell (with types, of course!) and expose them as lightweight, cross-platform reactive UIs.
———
The building is right across the street from the Sunnyvale Caltrain station.
We will have someone in the lobby to let you in until about 7:00. After, 7:00 please leave a comment here, or text 408-755-5645 and we can send someone to let you in.
Please note that there is free 3hr street and garage available parking near the building. However, you can NOT park where there are gates and/or ticket machines controlling access to the garages.
If you park in the garage (or walk through the garage), you can take the garage elevator to the 1st floor of building 100 and then take the building elevators to the 2nd floor. (The garage elevators will be open late, you can also get into the building this way if you can't get a hold of one of us.)