Theoretical Computer Science
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 6 years, 11 months
  • Last seen this week
Profile Activity
Stats
1,494
reputation
6k
reached
11
answers
10
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
21
bronze badges
Top tags
View all tags
19
Score
6
Posts
29
Posts %
16
Score
10
Posts
48
Posts %
14
Score
9
Posts
43
Posts %
13
Score
6
Posts
29
Posts %
11
Score
2
Posts
10
Posts %
8
Score
3
Posts
14
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
answer
5
What category are Tagless Final Algebras final In?
Sep 20, 2019
question
5
Does Standard ML validate (CBV) eta equivalence?
Jun 23, 2018
answer
5
Efficiently ordering typed programs
Mar 21, 2017
Top network posts
View all network posts
10
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.