User:Marcoonroad/Books/advanced-type-systems
 | The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
 | You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] | ||||||||
Advanced Type Systems[edit]
From logics to algorithms[edit]
- Introduction
- Type system
- Type theory
- Functional Programming
- Functional programming
- Purely functional programming
- Closure (computer programming)
- Currying
- Graph reduction
- Logics
- Substructural logic
- Linear logic
- Affine logic
- Temporal logic
- Linear temporal logic
- Computation tree logic
- Calculus of constructions
- Lambda Calculus
- Lambda calculus
- SKI combinator calculus
- Let expression
- Simply typed lambda calculus
- Lambda cube
- System F
- Rewriting
- Evaluation strategy
- Curry–Howard correspondence
- Category Theory
- Category theory
- Cartesian closed category
- Type Systems
- Hindley–Milner type system
- Effect system
- Typestate analysis
- Information flow (information theory)
- Uniqueness type
- Substructural type system
- Flow-sensitive typing
- Refinement (computing)
- Dependent type
- Concurrency
- Π-calculus
- Calculus of communicating systems
- Communicating sequential processes
- Actor model and process calculi
- Soundness
- Type safety
- Covariance and contravariance (computer science)
- Liskov substitution principle