GitHub topics: categorical-semantics
ct-gradual-typing/Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
Language: Haskell - Size: 4.22 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 7 - Forks: 0
xieyuheng/cat
A categorical semantics library in Agda.
Language: Agda - Size: 114 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 17 - Forks: 2
MonoidalAttackTrees/ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
Language: Agda - Size: 115 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0
ct-gradual-typing/gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Language: TeX - Size: 150 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
ct-gradual-typing/Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
Language: TeX - Size: 38.4 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 0
vishallama/categories-and-categorical-logic
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
Language: TeX - Size: 13.7 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
