dependent types

Bloggy Badger

Code and ideas in computer science. And maybe a short story or two.

Tanner Duve

ThatGeoGuy.ca

Geomatics. Technology. Life.

Typed Logic

Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.

Bob Atkey's blog

Bob Atkey's blog

Evgeny Poberezkin

Evgeny Poberezkin's blog

Jacob Thomas Errington's blog

Blueberry Wren Thoughts

The bloggings of Wren

Gyuri's blog

Recent content in Blogs on György Kurucz's blog

Jadon

Personal blog on software development, game modding

Matthew Brecknell

Programming and formal software verification