Skip to content
Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
2,330
members
7
groups
Join Type Theory groups
Related Topics:
Nanotech
Computer Tutoring
Technology & Society
Computer History
Computer Training
Computing
Science & Technology
Systems
Develop Clean and Clear Algorithms
Computer Engineering

Largest Type Theory groups

1

Madrid Haskell Users Group

892 MAD Haskellers | Madrid,
Photo of Madrid Haskell Users GroupOrganized by Reynaldo Cordero
pizza funzionale
Pizza funzionale
Pizza funzionale
2

NYC Category Theory and Algebra

775 Category Theorists | New York,
Photo of NYC Category Theory and AlgebraOrganized by Wenbo Gao
Fig. 3, Bredon, p. 42.
Fig. 2, Wikipedia, defn.
Fig. 1, Hatcher, p. 2.
3

Haskell DC

246 Haskellers | Arlington,
HD
Organized by James
4

Sydney Type Theory

241 type theorists | Sydney,
Photo of Sydney Type TheoryOrganized by Mark Hopkins
5

Portland Has Skill

83 Haskellers | Portland,
Photo of Portland Has SkillOrganized by Kyle Beechly
6

Paris Idris Group

54 Membres | Paris,
Photo of Paris Idris GroupOrganized by Christophe Calvès
7

Austin Formal Methods User Group

39 Members | Austin,
Photo of Austin Formal Methods User GroupOrganized by Charlie Southerland
Show all
Newest Type Theory groups
Austin Formal Methods User Group
39 Members
Started Jan 1 in Austin, us
Portland Has Skill
83 Haskellers
Started Jan 1 in Portland, us
NYC Category Theory and Algebra
775 Category Theorists
Started Jan 1 in New York, us
Paris Idris Group
54 Membres
Started Jan 1 in Paris, fr
Madrid Haskell Users Group
892 MAD Haskellers
Started Jan 1 in Madrid, es
Sydney Type Theory
241 type theorists
Started Jan 1 in Sydney, au