Computer Science
Profile Activity
Meta user
Network profile
1,150
reputation
7
15

xuq01

Mathematician and theoretical computer scientist in training.

15
answers
4
questions
~12k
people reached
  • Japan
  • Member for 3 years, 11 months
  • 68 profile views
  • Last seen Dec 29 '20 at 18:39

Communities (33)

Top network posts

Top tags (0)

This user has not participated in any 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 →

Badges (22)

Gold

—

Silver

7

Rarest

Bronze

15

Rarest

View all badges →