Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,195
reputation
6
18

Max New

Programming Languages PhD student at Northeastern University.

9
answers
7
questions
~4k
people reached
  • Boston, MA
  • maxsnew.github.io
  • Member for 5 years, 4 months
  • 76 profile views
  • Last seen Jan 18 at 18:04

Communities (10)

Top network posts

Top tags (27)

Score 17
Posts 6
Posts % 38
Score 12
Posts 6
Score 11
Posts 7
Score 11
Posts 6
Score 8
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
12 Why Reflexive Graphs for Parametricity? Feb 28 '17
11 Implementing “Internal” Languages Apr 9 '16
8 Preservation under Substitution with Telescopes Oct 30 '18
6 Understanding the Beck-Chevalley Condition May 18 '19
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 (24)

Gold

—

Silver

6

Rarest

Bronze

18

Rarest

View all badges →