_Type_ Theory

Largest _Type_ Theory groups

• 1

  Functional Thursday

  999 Functors | Taipei, Taiwan

  Shin-Cheng Mu

  Organized by Shin-Cheng Mu

  Shin-Cheng Mu

  Organized by Shin-Cheng Mu
• 2

  Madrid Haskell Users Group

  872 MAD Haskellers | Madrid, Spain

  Reynaldo Cordero

  Organized by Reynaldo Cordero

  Reynaldo Cordero

  Organized by Reynaldo Cordero
• 3

  Bay Area Categories And Types

  435 categorists and typists | Santa Clara, USA

  Vlad Patryshev

  Organized by Vlad Patryshev

  Vlad Patryshev

  Organized by Vlad Patryshev
• 4

  NYC Category Theory

  317 Category Theorists | New York, USA

  Oliver

  Organized by Oliver

  Oliver

  Organized by Oliver
• 5

  Sydney Type Theory

  262 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

  Functional Programming Graz

  203 Typists | Graz, Austria

  Benedikt Maderbacher

  Organized by Benedikt Maderbacher

  Benedikt Maderbacher

  Organized by Benedikt Maderbacher
• 8

  East Bay Haskell Meetup

  183 Haskellers | Berkeley, USA

  Colton

  Organized by Colton

  Colton

  Organized by Colton
• 9

  Silicon Valley Deep Specification

  173 Deep Specification explorers | Redwood City, USA

  Vadim Zaliva

  Organized by Vadim Zaliva

  Vadim Zaliva

  Organized by Vadim Zaliva
• 10

  Heidelberg λ Meetup

  140 Members | Heidelberg, Germany

  Hans-Christian Esperer

  Organized by Hans-Christian Esperer

  Hans-Christian Esperer

  Organized by Hans-Christian Esperer