Skip to main content
Computer Science
xuq01's user avatar
xuq01's user avatar
xuq01's user avatar
xuq01
  • Member for 7 years, 7 months
  • Last seen more than a month ago
  • Japan
Profile Activity
Stats
1,190
reputation
18k
reached
15
answers
4
questions
Communities
View all
About

Mathematician and theoretical computer scientist in training.

Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
17
bronze badges
Top tags
View all tags
54
Score
5
Posts
26
Posts %
45
Score
1
Posts
5
Posts %
22
Score
8
Posts
42
Posts %
12
Score
2
Posts
11
Posts %
12
Score
2
Posts
11
Posts %
9
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
answer
45
Do any programming languages use general recursive functions as their basis?
Jul 30, 2018
answer
6
An example of something you can formally verify with proofs in Software Development
Jun 23, 2018
answer
6
How CompCert "proves" different things in its codebase
Jun 29, 2018
answer
6
What are the concequences of the unit type and the unit value being the same?
Jul 14, 2018
answer
5
What does it mean that a let-binding can be treated polymorphically, only if its right-hand side is a syntactic value?
Sep 4, 2019
answer
4
Can String be a subtype of Character in a programming language?
May 14, 2017
answer
4
What is a fixpoint?
Jun 25, 2017
answer
4
Introduction to type theory for a beginner?
May 4, 2018
question
3
forall a b, a -> b [duplicate]
Feb 6, 2017
question
3
The underlying type theory of HOL/Isabelle
Jan 13, 2019
Top network posts
View all network posts
138
How can I convince graduate students in China to not copy/paste from the Internet into their research papers?
87
Why is PhD GPA considered irrelevant?
60
How does the taxi scam work at Luohu station in Shenzhen?
48
Do many Japanese people speak Korean?
31
Have "Brodal search trees" really been implemented for practical use?