Type Class Instances for Type-Level Lambdas in Haskell. - Thijs Alkemade; Johan Jeuring (TFP, 2015)

Use of Transport Layer Security (TLS) in the Extensible Messaging and Presence Protocol (XMPP). - Peter Saint-Andre; Thijs Alkemade (RFC, 2015)