Talk 2014 Bayhac Denotational Design Alternatives

Denotational Design: from programs to meanings
Suggest Alternative
Alternatives To conal/talk-2014-bayhac-denotational-design
Project Name Stars Downloads Repos Using This Packages Using This Most Recent Commit Total Releases Latest Release Open Issues License Language
hmemcpy/milewski-ctfp-pdf 10,547 0 0 over 2 years ago 0 53 other TeX
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
liuxinyu95/AlgoXY 5,929 0 0 over 2 years ago 0 1 TeX
Book of Elementary Functional Algorithms and Data structures
winitzki/sofp 1,250 0 0 over 2 years ago 0 4 gpl-2.0 TeX
A free book: "The Science of Functional Programming"
conal/talk-2015-essence-and-origins-of-frp 411 0 0 over 2 years ago 0 1 TeX
A keynote talk for LambdaJam 2015 (July 15--16)
deselaers/latex-beamerposter 317 0 0 over 4 years ago 0 2 gpl-2.0 TeX
The LaTeX beamerposter package
wimvanderbauwhede/HaskellMOOC 141 0 0 over 9 years ago 0 0 TeX
"Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October 2016
conal/talk-2014-lambdajam-denotational-design 117 0 0 over 2 years ago 0 0 TeX
Talk material for LambdaJam 2014/2015 on denotational design
conal/talk-2014-bayhac-denotational-design 88 0 0 over 10 years ago 0 1 TeX
Denotational Design: from programs to meanings
ID1019/functional-programming 75 0 0 over 2 years ago 0 0 TeX
This is a course in functional and concurrent programming given at KTH.
compsoc-edinburgh/betterinformatics 66 0 0 over 2 years ago 0 12 other TeX
Welcome to Better Informatics. The student run website for students in the School of Informatics.
Alternatives To conal/talk-2014-bayhac-denotational-design
Select To Compare


Alternative Project Comparisons
Popular Tex Projects
Popular Functional Programming Projects
Popular Text Processing Categories
Related Searches
Get A Weekly Email With Trending Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.