Steven Shaw (@steshaw)

1 Follow
View profile

Tim McGilchrist

lambda_foo

1 follower 5 decks
Dependently Typed State Machines
0
130
Code reuse through polymorphic variants
1
120