PrototypeCommon
conal/talk-2014-bayhac-denotational-design
Denotational Design: from programs to meanings
- Owner
- conal (personal account)
- Stars
- Stars: 103
- Forks
- Forks: 0
- Language
- TeX
- License
- None
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by conal
All 6 repos by conal- conal/talk-2015-essence-and-origins-of-frpStars: 418TeXAlpha
- conal/talk-2018-essence-of-adStars: 201TeXPrototype
- conal/lambda-cccStars: 150HaskellPrototype
- conal/talk-2014-lambdajam-denotational-designStars: 121TeXPrototype
- conal/CollaborationStars: 120Prototype
Nearby in TeX
All TeX repos- jdnklau/fm-mlStars: 103TeXPrototype
- andy123t/latex-templatesStars: 103TeXPrototype
- SuikaXhq/seu-bachelor-thesis-2022Stars: 103TeXPrototype
- robert-strandh/LispOSStars: 103TeXPrototype
- davidcarlisle/dpctexStars: 103TeXPrototype
- karask/satoshi-paperStars: 103TeXPrototype