- Home
- Topics
- _Type_ Theory
- Worldwide
_Type_ Theory
3,497
members8
groupsFind out what's happening in _Type_ Theory Meetup groups around the world and start meeting up with the ones near you.
Largest _Type_ Theory groups
- 1
- 2
Madrid Haskell Users Group
869 MAD Haskellers | Madrid, Spain
Reynaldo CorderoOrganized by Reynaldo Cordero - 3
Bay Area Categories And Types
457 categorists and typists | Santa Clara, USA
Valeria De PaivaOrganized by Valeria De Paiva - 4
- 5
- 6
- 7
Silicon Valley Deep Specification
176 Deep Specification explorers | Redwood City, USA
Vadim ZalivaOrganized by Vadim Zaliva - 8
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