hyPiRion

Programming Language Theory (PLT) posts

• Haunting Down Errors in Go06 Aug 2023
• Go-stly Access Rights23 Jul 2023
• Spectral Contexts in Go18 Jun 2023
• GraphQL and Type Systems28 May 2023
• Type-Safe HTTP Servers in Go via Generics08 Oct 2021
• Row Polymorphism In Go?!29 Sep 2019
• From Transducers to Conduits and Back Again11 Jul 2016
• The Simplest Collection10 Jan 2016