Steven Shaw (@steshaw)

1 Follow
View profile

Tim McGilchrist

lambda_foo

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