Introduction to Haskell IO: tutorial on type system and inference, GHCi, haskellforall.com·4 pts·gtani·0
Advice for New Graduates; Developing Software, tools, frameworks, languages etcxenonique.co.uk·1 pts·gtani·0
Economist’s guide to mechanized reasoning OR: proving 84 impossibility theoremscs.bham.ac.uk·1 pts·gtani·0
Oregon programming languages summer school: Logic, Compilation, Verificationcs.uoregon.edu·2 pts·gtani·0
K framework: An Executable Formal Semantics of C with Applicationslambda-the-ultimate.org·1 pts·gtani·0
ICFP 2012 papers(ACM Internat.Conference on Functional Programming(PDF drafts)github.com·2 pts·gtani·0
Mapping How Programming Languages Influenced Each Other According to Wikipediablog.ouseful.info·42 pts·gtani·14
Liquid Types, static verification: deduction, model checking, type systems research.microsoft.com·79 pts·gtani·14
Emerging languages: Tour of horizon (dozens of languages/libs [pdf, 51 slide]slideshare.net·2 pts·gtani·0
Building New Systems for Scientists : collaboration tools, open publishingthefundable.blogspot.com·1 pts·gtani·0
Static code analyzer for Clojure, core.logic unifier search control structuresgithub.com·3 pts·gtani·0