- A Simple Typed Intermediate Language for Object-Oriented Languages
- A Type directed optimizing compiler for ML
- Algebraic methods for interactiVe proof systems
- bird_wadler. Introduction To functional programming.1ed
- blame, coercion, and threesomes
- Callarity-TFP
- Category theory for computing science
- Engineering a compiler
- Homotopy is not concrete
- Practical foundations for programming languages
- Programming in Martin Lof Type Theory
- Programming macRo tree transducers
- Proofs and types
- The programming language JigSaw mixins modularity multiple inheritance
- Type Systems
- The two dualities Of computatiOn negative and fractional types
- Type theory and functional programming
- Type theory should eat itself
- Why functional programming matters
Luiz-Monad/types
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Did someone say types?
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published