Computer Science
Meta user
Network profile
1,060
reputation
6
15

xuq01

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

15
answers
4
questions
~9k
people reached
  • Member for 2 years, 8 months
  • 64 profile views
  • Last seen Sep 28 at 15:52

Communities (30)

Top network posts

Top tags (31)

Score 52
Posts 5
Posts % 26
Score 45
Posts 1
Score 21
Posts 8
Score 9
Posts 2
Score 9
Posts 2
Score 7
Posts 2
View all tags →

Top posts (19) 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 What does it mean that a let-binding can be treated polymorphically, only if its right-hand side is a syntactic value? Sep 4
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
View all questions and answers →

Badges (21)

Gold

—

Silver

6

Rarest

Bronze

15

Rarest

View all badges →