Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
Max New
  • Member for 6 years, 7 months
  • Last seen this week
Profile Activity
Stats
1,357
reputation
5k
reached
10
answers
8
questions
Communities
View all
About

Assistant Professor in Computer Science & Engineering at University of Michigan. Research on programming language design and semantics.

Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
19
bronze badges
Top tags
View all tags
18
Score
6
Posts
33
Posts %
12
Score
7
Posts
39
Posts %
12
Score
6
Posts
33
Posts %
11
Score
6
Posts
33
Posts %
8
Score
2
Posts
11
Posts %
7
Score
3
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
17
Using Dependent Type Theory for Categories that are not LCCC
Feb 23, 2018
question
15
Logical Reations for an Impredicative System in a Predicative MetaTheory
Oct 20, 2015
question
11
Implementing "Internal" Languages
Apr 9, 2016
question
11
Why Reflexive Graphs for Parametricity?
Feb 28, 2017
question
9
"Spurious" Type Equivalences in MLSub/Algebraic Subtyping
Feb 24
answer
8
Preservation under Substitution with Telescopes
Oct 30, 2018
answer
6
Understanding the Beck-Chevalley Condition
May 18, 2019
question
5
Does Standard ML validate (CBV) eta equivalence?
Jun 23, 2018
question
5
Does the Category of CPOs have omega^op limits?
May 26, 2017
question
5
Notions of Computability at Higher Type III
Sep 13, 2016
Top network posts
View all network posts
9
Profunctorial Grothendieck Construction?
7
Racket REPL and Submodules
7
Generalized (co)-presheaves for Generalized Multicategories?
7
Relationship between synthetic differential geometry and differential cohesion?
5
Strictness of two operations on proarrow equipments

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.