Petr Pudlák
Umístění:
Petr Pudlak home page
»
Funkcionální programování
»
Zajímavé odkazy
Blog
Funkcionální programování
Zkouška 2011/2012
Zajímavé odkazy
Literature and other notes to the lecture
Semestral project
Slidy z r. 2010/11
Výsledky domácích úloh
Úvod do funkcionálního programování
Zajímavé příklady
Project proposals
Živá strava
Blog
Blog archive
Contact form
Personal interests
Research interests
Zajímavé odkazy
IDE pro Haskell (případně jiné funkcionální jazyky):
Leksah
EclipseFP
Practical Haskell: scripting with types
Haskell cheatsheet
Haskell Lightweight Virtual Machine (HaLVM)
- viz.
zprava od Galois, Inc.
Dokazovače
Theorem provers
- přehledová stránka na Haskell Wiki s odkazy na Agdu, Djinn atd.
Poslední úprava: 2011/05/08 11:05
