Hacker News new | past | comments | ask | show | jobs | submit login

Check out http://categoricaldata.net for a categorical approach to database theory that uses a labeled null semantics from type theory.



Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: