Theoretical Computer Science
Meta user
Network profile
756
reputation
4
16

Max New

Programming Languages PhD student at Northeastern University.

7
answers
7
questions
~3k
people reached
  • Boston, MA
  • maxsnew.github.io
  • Member for 3 years, 10 months
  • 48 profile views
  • Last seen yesterday

Communities (9)

Top network posts

Top tags (24)

Score 16
Posts 6
Posts % 43
Score 11
Posts 6
Score 7
Posts 6
Score 7
Posts 5
Score 7
Posts 2
Score 7
Posts 1
View all tags →

Top posts (14) 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 Why Reflexive Graphs for Parametricity? Feb 28 '17
8 Implementing “Internal” Languages Apr 9 '16
7 Preservation under Substitution with Telescopes Oct 30 '18
6 Understanding the Beck-Chevalley Condition May 18
5 Notions of Computability at Higher Type III Sep 13 '16
5 Does the Category of CPOs have omega^op limits? May 26 '17
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 (20)

Gold

—

Silver

4

Rarest

Bronze

16

Rarest

View all badges →