2014-10-08: Conor McBride (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Conor McBride (MSP)

"Real-world data" and dependent types

Abstract

Conor has offered to talk to us about what he has been thinking about recently. He says this includes models, views, and dependent types.

2014-10-08 11:00:00 UTC
LT1310