Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
695
reputation
4
16

Max New

Programming Languages PhD student at Northeastern University.

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

Communities (8)

Top Network Posts

Top Tags (24)

Score 17
Posts 6
Posts % 46
Score 12
Posts 6
Score 7
Posts 5
Score 7
Posts 2
Score 7
Posts 1
Score 2
Posts 2
View all tags →

Top Posts (13) All Questions Answers | Votes Newest

15 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
9 Implementing “Internal” Languages Apr 9 '16
7 Preservation under Substitution with Telescopes Oct 30 '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
5 Efficiently ordering typed programs Mar 21 '17
4 What is the name of this algorithm on direct acyclic graph? Feb 17 '18
View all questions and answers →

Badges (20)

Gold

—

Silver

4

Rarest

Bronze

16

Rarest

View all badges →