Stack Exchange Network

Stack Exchange network consists of 174 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
Computer Science
Meta User
Network Profile
1,000
reputation
5
13

xuq01

Graduate student in computer science, doing research in programming languages.

14
answers
3
questions
~8k
people reached
  • Member for 1 year, 11 months
  • 46 profile views
  • Last seen 2 days ago

Communities (24)

Top Network Posts

Top Tags (28)

Score 49
Posts 3
Posts % 18
Score 45
Posts 1
Score 45
Posts 1
Score 21
Posts 8
Score 9
Posts 2
Score 9
Posts 2
View all tags →

Top Posts (17) All Questions Answers | Votes Newest

45 Do any programming languages use general recursive functions as their basis? Jul 30 '18
6 What are the concequences of the unit type and the unit value being the same? Jul 14 '18
6 How CompCert “proves” different things in its codebase Jun 29 '18
4 What is a fixpoint? Jun 25 '17
4 Can String be a subtype of Character in a programming language? May 14 '17
3 The first Turing machine Dec 20 '18
3 An example of something you can formally verify with proofs in Software Development Jun 23 '18
3 Given a Turing machine M, is there a TM that computes the number of states M has? Jun 21 '18
3 Introduction to type theory for a beginner? May 4 '18
3 forall a b, a -> b [duplicate] Feb 6 '17
View all questions and answers →

Badges (18)

Gold

—

Silver

5

Rarest

Bronze

13

Rarest

View all badges →