Sean Innes

According to our database, Sean Innes authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Tic tac types: a gentle introduction to dependently typed programming (functional pearl).

Sean Innes, Nicolas Wu

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019