Difference between revisions of "BayHac2017/presentations"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
= Friday (late afternoon) = |
= Friday (late afternoon) = |
||
| − | |||
| − | == Professional Haskell experience report == |
||
* Greg Horn: Haskell for Flight Control at Kittyhawk |
* Greg Horn: Haskell for Flight Control at Kittyhawk |
||
* Tikhon Jelvis: Haskell for Supply Chain Optimization at Target |
* Tikhon Jelvis: Haskell for Supply Chain Optimization at Target |
||
| − | * Presenter C: topic C |
||
| − | * ... |
||
= Saturday = |
= Saturday = |
||
| − | |||
| − | == Introductory Haskell & tooling == |
||
* Gabriel Gonzalez: How to create a new Haskell project |
* Gabriel Gonzalez: How to create a new Haskell project |
||
* Julie Moronuki: Introductory Haskell |
* Julie Moronuki: Introductory Haskell |
||
| − | * ... |
||
| − | |||
| − | == Open Source Haskell project overview == |
||
| − | |||
* John Leo: Dependent Types in GHC |
* John Leo: Dependent Types in GHC |
||
* Dimitri DeFigueiredo: Functional Reactive Bitcoin Trading |
* Dimitri DeFigueiredo: Functional Reactive Bitcoin Trading |
||
* Judah Jacobson: Haskell Bindings for TensorFlow |
* Judah Jacobson: Haskell Bindings for TensorFlow |
||
| − | * Presenter B: topic B |
||
| − | * ... |
||
| − | |||
| − | == Open Source Haskell project implementation deep dive == |
||
| − | |||
* Chris Smith: CodeWorld - Teaching Haskell to Children |
* Chris Smith: CodeWorld - Teaching Haskell to Children |
||
| − | * Presenter B: topic B |
||
| − | * ... |
||
= Sunday = |
= Sunday = |
||
| − | |||
| − | == Intermediate/Advanced Haskell & tooling == |
||
* John Wiegley: Putting lenses to work |
* John Wiegley: Putting lenses to work |
||
| Line 45: | Line 26: | ||
* Luite Stegeman: Something GHCJS |
* Luite Stegeman: Something GHCJS |
||
* Greg Hale: Full-stack typesafe Haskell |
* Greg Hale: Full-stack typesafe Haskell |
||
| − | |||
| − | == Abstract concepts taught via follow-along Haskell code snippets == |
||
| − | |||
* Rúnar Bjarnason: Adjunctions in Everyday Life |
* Rúnar Bjarnason: Adjunctions in Everyday Life |
||
| − | * Presenter B: topic B |
||
| − | * ... |
||
| − | |||
| − | == Misc (theory talks, random tips & tricks, editors, continuous integration, etc.) == |
||
| − | |||
| − | * Presenter A: topic A |
||
| − | * Presenter B: topic B |
||
| − | * ... |
||
Revision as of 17:07, 10 February 2017
(For posterity: see /requested presentations.)
In tentative chronological order:
Friday (late afternoon)
- Greg Horn: Haskell for Flight Control at Kittyhawk
- Tikhon Jelvis: Haskell for Supply Chain Optimization at Target
Saturday
- Gabriel Gonzalez: How to create a new Haskell project
- Julie Moronuki: Introductory Haskell
- John Leo: Dependent Types in GHC
- Dimitri DeFigueiredo: Functional Reactive Bitcoin Trading
- Judah Jacobson: Haskell Bindings for TensorFlow
- Chris Smith: CodeWorld - Teaching Haskell to Children
Sunday
- John Wiegley: Putting lenses to work
- Adelbert Chang: All About Applicative
- Doug Beardsley: Real World UIs with Reflex
- James Bowen: Type Level APIs with Servant
- Sandy Maguire: Don't Eff It Up: Free Monads in Action
- Luite Stegeman: Something GHCJS
- Greg Hale: Full-stack typesafe Haskell
- Rúnar Bjarnason: Adjunctions in Everyday Life