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

9 years ago • 2388 Views

Comonads in Haskell

9 years ago • 9090 Views

Constraint Programming in Haskell

8 years ago • 4358 Views

Serverless haskell

6 years ago • 416 Views

Linear Types in Haskell

3 years ago • 211 Views

Documents

(1)

dmo-phd-thesis

7 years ago • 396 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