Skip to content

_Type_ Theory

3,497

members

8

groups

Find out what's happening in _Type_ Theory Meetup groups around the world and start meeting up with the ones near you.

Join _Type_ Theory groups

Related topics:

Largest _Type_ Theory groups

1
Functional Thursday
1,001 Functors | Taipei, Taiwan
Shin-Cheng Mu
Organized by Shin-Cheng Mu
Shin-Cheng Mu
Organized by Shin-Cheng Mu
2
Madrid Haskell Users Group
869 MAD Haskellers | Madrid, Spain
Reynaldo Cordero
Organized by Reynaldo Cordero
Reynaldo Cordero
Organized by Reynaldo Cordero
3
Bay Area Categories And Types
457 categorists and typists | Santa Clara, USA
Valeria De Paiva
Organized by Valeria De Paiva
Valeria De Paiva
Organized by Valeria De Paiva
4
NYC Category Theory and Algebra
439 Category Theorists | New York, USA
Oliver
Organized by Oliver
Oliver
Organized by Oliver
5
Sydney Type Theory
256 type theorists | Sydney, Australia
Mark Hopkins
Organized by Mark Hopkins
Mark Hopkins
Organized by Mark Hopkins
6
Haskell DC
247 Haskellers | Arlington, USA
James
Organized by James
James
Organized by James
7
Silicon Valley Deep Specification
176 Deep Specification explorers | Redwood City, USA
Vadim Zaliva
Organized by Vadim Zaliva
Vadim Zaliva
Organized by Vadim Zaliva
8
Paris Idris Group
52 Membres | Paris, France
Christophe Calvès
Organized by Christophe Calvès
Christophe Calvès
Organized by Christophe Calvès

Newest _Type_ Theory groups

NYC Category Theory and Algebra
439 Category Theorists
Started Feb 19 in New York, USA
Paris Idris Group
52 Membres
Started Sep 12 in Paris, France
Silicon Valley Deep Specification
176 Deep Specification explorers
Started Jan 9 in Redwood City, USA
Madrid Haskell Users Group
869 MAD Haskellers
Started Dec 18 in Madrid, Spain
Sydney Type Theory
256 type theorists
Started Oct 16 in Sydney, Australia
Functional Thursday
1001 Functors
Started May 30 in Taipei, Taiwan