Software Development
Type Theory
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication
- Content fingerprint
6aa16e958fcb37e67c197f298beac08cce66c6133b4d7fe1b2831222fe6eeb46