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

xuq01

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

14
answers
4
questions
~9k
people reached
  • Member for 2 years, 4 months
  • 52 profile views
  • Last seen Jun 21 at 19:50

Communities (29)

Top network posts

Top tags (31)

Score 49
Posts 4
Posts % 22
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 (18) 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 Computability of Kolmogorov complexity in total languages Jan 23
View all questions and answers →

Badges (21)

Gold

—

Silver

6

Rarest

Bronze

15

Rarest

View all badges →