Pinboard (wagerlabs) https://pinboard.in/u:wagerlabs/public/ recent bookmarks from wagerlabs 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/ Nattermorphisms: 2 Minute intro to Associated Types / Type Families 2008-11-07T09:50:52+00:00 http://nattermorphisms.blogspot.com/2008/10/2-minute-intro-to-associated-types-type.html wagerlabsprogramming haskell types https://pinboard.in/u:wagerlabs/b:2f9b73d44952/ 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/ lambda.oasis: SImple Type Inference in Haskell 2008-04-21T12:49:16+00:00 http://notvincenz.blogspot.com/2008/01/simple-type-inference-in-haskell.html wagerlabshaskell types https://pinboard.in/u:wagerlabs/b:a30fbbf72614/ A Very Modal Model of a Modern, Major, General Type System | Lambda the Ultimate 2007-05-29T11:40:47+00:00 http://lambda-the-ultimate.org/node/1760 wagerlabscoq compilers types https://pinboard.in/u:wagerlabs/b:6a57f4cbc437/ Djinn, Coq, Monad and a bit of Haskell 2007-05-25T10:49:51+00:00 http://www.alpheccar.org/en/posts/show/70 wagerlabsfunctional compilers coq types https://pinboard.in/u:wagerlabs/b:ee8af6080d8b/ Haskell Programming: Types 2006-05-19T09:11:41+00:00 http://okmij.org/ftp/Haskell/types.html wagerlabsfunctional haskell programming types https://pinboard.in/u:wagerlabs/b:b9a53a9d7a14/