Computer Science
xuq01
  • Japan
  • Member for 4 years, 7 months
Profile Activity
Stats
1,150
reputation
13k
reached
15
answers
4
questions
About

Mathematician and theoretical computer scientist in training.

Communities (34)

Top network posts

This user doesn’t have any gold badges yet.
8
silver badges
15
bronze badges
View all badges

Top tags (31)

Score 52
Posts 5
Posts % 26
Score 45
Posts 1
Score 21
Posts 8
Score 11
Posts 2
Score 11
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
5 An example of something you can formally verify with proofs in Software Development Jun 23 '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 '19
3 The first Turing machine Dec 20 '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 →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.