xuq01

Member for 5 years, 3 months
Last seen more than a month ago

Japan

Summary

Reputation

1,150

1.2k
696
242

2019
2020
2021
2022

Top tag

programming-languages

Next privilege

2,000 Rep.

Edit questions and answers

Badges

9

15

Newest

Yearling

Next badge

0/1

Informed

Answers

View all 15 answers

Score Activity Newest

45

Do any programming languages use general recursive functions as their basis?

Jul 30, 2018

6

What are the concequences of the unit type and the unit value being the same?

Jul 14, 2018

6

How CompCert "proves" different things in its codebase

Jun 29, 2018

5

An example of something you can formally verify with proofs in Software Development

Jun 23, 2018

4

Can String be a subtype of Character in a programming language?

May 14, 2017

Questions

Score Activity Newest Views

3

forall a b, a -> b

Feb 6, 2017

3

The underlying type theory of HOL/Isabelle

Jan 13, 2019

3

Computability of Kolmogorov complexity in total languages

Jan 23, 2019

0

Composition of compostion as a functor

Nov 29, 2018

Tags

View all 31 tags

programming-languages

52

Score

5

posts

mathematical-foundations

45

Score

1

post

church-turing-thesis

45

Score

1

post

type-theory

21

Score

8

posts

software-verification

11

Score

2

posts

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

9

silver badges

Guru

Jul 31, 2018
Enthusiast

Aug 6, 2018
Good Answer

Jul 31, 2018

15

bronze badges

Mortarboard

Jul 30, 2018
Excavator

Mar 2, 2019
Caucus

Jan 28, 2019

Bookmarks

Score Activity Newest Views Added

8

Is Coq synthetic or analytic?

Jun 14, 2018

Accounts

View all 36 accounts

8,242
18
36

2,977
1
12
18

1,739
7
20

Japanese Language

1,208
6
17

Computer Science

1,150
9
15

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

35

upvotes

56

downvotes

50

question votes

41

answer votes