Pinboard (wagerlabs) https://pinboard.in/u:wagerlabs/public/ recent bookmarks from wagerlabs Alaska Ataca a Kamtchatka: Fun with (Type) Class 2012-04-19T20:05:55+00:00 http://alaska-kamtchatka.blogspot.com.es/2009/08/fun-with-type-class.html wagerlabsocaml typing https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:9405ff78ec73/ The AST Typing Problem | Lambda the Ultimate 2011-01-23T22:39:47+00:00 http://lambda-the-ultimate.org/node/4170 wagerlabstyping programming languages types https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:7052da6a6f96/ Camltastic!: Phantom types 2011-01-23T13:57:28+00:00 http://camltastic.blogspot.com/2008/05/phantom-types.html wagerlabsocaml typing phanton types https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:820eddf30193/ Abstract: A Sketch of Complete Type Inference for Functional Programming 2008-07-01T15:45:34+00:00 http://voss.fernuni-hagen.de/pi8/research/papers/res/Widera-WFLP2001.abstract.html wagerlabscompilers types typechecking typing https://pinboard.in/u:wagerlabs/b:8ba1a232c6f6/ YATT (Yet Another Typing Thread) 2006-08-13T12:40:53+00:00 http://www.erlang.org/ml-archive/erlang-questions/200309/msg00273.html wagerlabserlang typing https://pinboard.in/u:wagerlabs/b:6b5bcd486d2d/