PrototypeCommune
conal/talk-2014-bayhac-denotational-design
Denotational Design: from programs to meanings
- Propriétaire
- conal (compte personnel)
- Étoiles
- Étoiles : 103
- Forks
- Forks : 0
- Langage
- TeX
- Licence
- Aucune
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de conal
Les 6 dépôts de conal- conal/talk-2015-essence-and-origins-of-frpÉtoiles : 418TeXAlpha
- conal/talk-2018-essence-of-adÉtoiles : 201TeXPrototype
- conal/lambda-cccÉtoiles : 150HaskellPrototype
- conal/talk-2014-lambdajam-denotational-designÉtoiles : 121TeXPrototype
- conal/CollaborationÉtoiles : 120Prototype
D’autres dépôts TeX
Tous les dépôts TeX- jdnklau/fm-mlÉtoiles : 103TeXPrototype
- andy123t/latex-templatesÉtoiles : 103TeXPrototype
- SuikaXhq/seu-bachelor-thesis-2022Étoiles : 103TeXPrototype
- robert-strandh/LispOSÉtoiles : 103TeXPrototype
- davidcarlisle/dpctexÉtoiles : 103TeXPrototype
- karask/satoshi-paperÉtoiles : 103TeXPrototype