David Overton
6 SlideShares 11 Followers 15 Followings
Personal Information
Organization / Workplace
Melbourne, Australia Australia
Occupation
Senior Developer at SEEK
Industry
Technology / Software / Internet
Website
https://github.com/dmoverton
Contact Details
Tags
haskell functional programming programming languages type systems linear types aws lambda cloud serverless constraint programming haskell comonad functional programming zippers types differentiation
See more

Presentations

(5)
See all

Zippers

11 years ago • 2424 Views

Comonads in Haskell

11 years ago • 9228 Views

Constraint Programming in Haskell

9 years ago • 4388 Views

Serverless haskell

7 years ago • 424 Views

Linear Types in Haskell

5 years ago • 229 Views

Documents

(1)

dmo-phd-thesis

9 years ago • 401 Views
Personal Information
Organization / Workplace
Melbourne, Australia Australia
Occupation
Senior Developer at SEEK
Industry
Technology / Software / Internet
Website
https://github.com/dmoverton
Tags
haskell functional programming programming languages type systems linear types aws lambda cloud serverless constraint programming haskell comonad functional programming zippers types differentiation
See more