Dependently Typed DB API

45 views

Skip to first unread message

unread,

Feb 1, 2017, 12:09:09 PM2/1/17

to project-m36

This is a very cool talk about dependent typing and it specifically uses the example of a DB API.

Reply all

Reply to author

Forward

0 new messages