Talk 23:00

Automating Type-Driven Development with (Co)algebras

Name: Automating Type-Driven Development with (Co)algebras
Description: 'Automating Type-Driven Development with (Co)algebras'

'Automating Type-Driven Development with (Co)algebras'

Speakers