Speaker Deck
Speaker Deck
PRO
Sign in
Sign up for free
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Tim McGilchrist
lambda_foo
0 Followings
1 Followers
0 Stars
Decks
Dependently Typed State Machines
lambda_foo
0
89
Code reuse through polymorphic variants
lambda_foo
1
67
Either Error Success
lambda_foo
0
66
Idris States: Dependent types, not just for vectors?
lambda_foo
0
120
RAFT: Implementing Distributed Consensus with Erlang
lambda_foo
4
610
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade