Theoretical Computer Science
Meta user
Network profile
1,176
reputation
5
18

Max New

Programming Languages PhD student at Northeastern University.

9
answers
7
questions
~3k
people reached
  • Boston, MA
  • maxsnew.github.io
  • Member for 4 years, 4 months
  • 59 profile views
  • Last seen 18 hours ago

Communities (9)

Top network posts

Top tags (27)

Score 16
Posts 6
Posts % 38
Score 11
Posts 7
Score 11
Posts 6
Score 10
Posts 6
Score 7
Posts 2
Score 7
Posts 2
View all tags →

Top posts (16) All Questions Answers | Votes Newest

16 Using Dependent Type Theory for Categories that are not LCCC Feb 23 '18
14 Logical Reations for an Impredicative System in a Predicative MetaTheory Oct 20 '15
11 Implementing “Internal” Languages Apr 9 '16
11 Why Reflexive Graphs for Parametricity? Feb 28 '17
7 Preservation under Substitution with Telescopes Oct 30 '18
6 Understanding the Beck-Chevalley Condition May 18 '19
5 Does the Category of CPOs have omega^op limits? May 26 '17
5 Notions of Computability at Higher Type III Sep 13 '16
5 Does Standard ML validate (CBV) eta equivalence? Jun 23 '18
4 Efficiently ordering typed programs Mar 21 '17
View all questions and answers →

Badges (23)

Gold

—

Silver

5

Rarest

Bronze

18

Rarest

View all badges →