@inproceedings{russo2016classes, author = {Russo, Claudio and Windsor, Matt and Horlick, Rupert and Clarke, James and Syme, Don}, title = {Classes for the Masses (Extended Abstract)}, booktitle = {Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop}, year = {2016}, month = {August}, abstract = {Type classes are an immensely popular and productive feature of Haskell. They have since been adopted in, and adapted to, numerous other languages, including theorem provers. This talk will show that type classes have a natural and efficient representation in .NET. This paves the way for the extension of F# and other .NET languages with Haskell style type classes. The representation is type preserving and promises easy and safe cross-language inter-operation. We are currently, and rapidly, extending the open source C# compiler and language service, Roslyn, with support for type classes but intend to do the same for F# once that work has been completed}, publisher = {ACM}, url = {http://approjects.co.za/?big=en-us/research/publication/classes-masses-extended-abstract/}, edition = {Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop}, }