stars 1 stars 2 stars 3

TypeSig is a student-run special interest group for semantics, programming language theory, type theory, compilers, concurrency, and any other field of theoretical CS.

Website https://typesig.comp-soc.com/
Employees 2 (1 on RocketReach)
Industry Technology, Information and Internet

TypeSig Questions

Shaolun Wang is the Founder of TypeSig.

1 people are employed at TypeSig.

Top TypeSig Employees

G2 Leader Summer 2026 G2 Best Est ROI Mid-Market Summer 2026 G2 Easiest Admin Mid-Market Summer 2026 G2 Most Implementable Summer 2026 G2 Best Results Mid-Market Summer 2026 G2 Lead Capture Mid-Market Summer 2026 Inc Fastest Growing Private Companies 2026 Inc Best Workplace 2026
g2crowd
G2Crowd Trusted
chromestore
300K+ Plugin Users