1. Checking protocol conformance with types. (Read Full Article)
   
   

   Related Articles

   • Polyparse: Alternative Parser Combinator Libraries
   • also written by daf
   • Tac-Tics.net: Lists and SQL and Monads, Oh My!
   • also written by daf
   • nominolo's Blog: Towards Better Error Handling
   • also written by daf

   • Session Types Tutorial, Part 1
   • also published in Well Quite
   • Well Quite - Shared Mutable Memory Must Die
   • also published in Well Quite
   • An updated tutorial for Session Types, Part 1
   • also published in Well Quite

Login to comment.