Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Tim McGilchrist

Tim McGilchrist

lambda_foo
0 Stars

Decks

Dependently Typed State Machines
Avatar for Tim McGilchrist lambda_foo
0
160
Code reuse through polymorphic variants
Avatar for Tim McGilchrist lambda_foo
1
180
Either Error Success
Avatar for Tim McGilchrist lambda_foo
0
130
Idris States: Dependent types, not just for vectors?
Avatar for Tim McGilchrist lambda_foo
0
190
RAFT: Implementing Distributed Consensus with Erlang
Avatar for Tim McGilchrist lambda_foo
4
670

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade