Skip to content
Meet other local people interested in Type Systems: share experiences, inspire and encourage each other! Join a Type Systems group.
4,052
members
8
groups
Join Type Systems groups
Related Topics:
MySQL
Perl
Ruby
Python
C#
ColdFusion
CSS
C#
LAMP
PostgreSQL

Largest Type Systems groups

1

Lambda Indonesia

823 Lambda Developers | Jakarta,
Photo of Lambda IndonesiaOrganized by Abdullah
Break Out of the Loop by Applying the Lamport Enumeration
The Infinite Loop of Monad Tutorials
https://twitter.com/monadburritos/status/1282359893526286336/photo/1
2

OCaml Users in PariS (OUPS)

794 OCamleurs | Paris,
Photo of OCaml Users in PariS (OUPS)Organized by Fabrice Le Fessant
3

OCaml NYC Meetup

766 Camlers | New York,
Photo of OCaml NYC MeetupOrganized by Ashish Agarwal
4

Buenos Aires Haskell Meetup

496 Haskellers | Buenos Aires,
Photo of Buenos Aires Haskell MeetupOrganized by Ezequiel Alvarez
5

London Type-Driven Development

449 Typists | London,
Photo of London Type-Driven DevelopmentOrganized by Paul Cadman
modular synth
6

STL Elm

314 Elm Developers | Saint Louis,
Photo of STL ElmOrganized by Craig Buchek
Cityplace 4 Parking
7

Sydney Type Theory

245 type theorists | Sydney,
Photo of Sydney Type TheoryOrganized by Mark Hopkins
8

Functor fest!

165 Miembros | Montevideo,
Photo of Functor fest!Organized by Germán Ferrari
Show all
Newest Type Systems groups
London Type-Driven Development
449 Typists
Started Jan 1 in London, gb
Functor fest!
165 Miembros
Started Jan 1 in Montevideo, uy
STL Elm
314 Elm Developers
Started Jan 1 in Saint Louis, us
Sydney Type Theory
245 type theorists
Started Jan 1 in Sydney, au
Buenos Aires Haskell Meetup
496 Haskellers
Started Jan 1 in Buenos Aires, ar
Lambda Indonesia
823 Lambda Developers
Started Jan 1 in Jakarta, id