Related tags:
algebra
android
blog
book
comics
computability
course
cteni
ebook
education
fact
FI
FI:IA038
FI:IB005
FI:IB015
FI:IB016
FI:IB016!
FI:IB107
FI:PB006
fun
funkcionální_programování
haskell
java
komiks
languages
lisp
matematika
monads
obor_informatika
programming
prokrastinace
PříF:M7150
PříF:M7151
PříF:M8250
scheme
theory
type
type_theory
wikibook
wikipedia
Bookmarks with the Following Tag: FI:IA014 Advanced Functional Programming
The Kawa Scheme language
Kawa is a programming language for the Java platform. It is an implementation of Scheme, which, is in the Lisp family of programming languages. It is possible to build Android applications using Kawa.
1 user, first 10/5/2015, Matej Kollár, bookmarks, peopleThe Day Python Embarrassed Imperative Programming 1 user, first 10/5/2015, Matej Kollár, bookmarks, people
Monoids, Functors, Applicatives, and Monads: 10 Main Ideas 2 users, first 5/1/2015, Matěj Grabovský, bookmarks, people
Null References: The Billion Dollar Mistake -- Tony Hoare 2 users, first 31/8/2013, Daniel Vašek, bookmarks, people
Homotopy Type Theory: Univalent Foundations of Mathematics 1 user, first 10/5/2015, Matej Kollár, bookmarks, people
Special thanks to del.icio.us for inspiring us.