User xuq01 - Computer Science Stack Exchange

xuq01

Member for 6 years, 8 months
Last seen more than a week ago

Japan

15 Answers

Score Activity Newest

45 votes

Accepted

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

answered Jul 30, 2018 at 13:54

6 votes

Accepted

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

answered Jul 14, 2018 at 6:44

6 votes

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

answered Jun 23, 2018 at 18:00

6 votes

Accepted

How CompCert "proves" different things in its codebase

answered Jun 29, 2018 at 5:25

4 votes

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

answered May 14, 2017 at 4:01

4 votes

What is a fixpoint?

answered Jun 25, 2017 at 8:26

4 votes

Introduction to type theory for a beginner?

answered May 4, 2018 at 1:52

4 votes

Accepted

What does it mean that a let-binding can be treated polymorphically, only if its right-hand side is a syntactic value?

answered Sep 4, 2019 at 5:45

3 votes

The first Turing machine

answered Dec 20, 2018 at 0:08

3 votes

Accepted

Given a Turing machine M, is there a TM that computes the number of states M has?

answered Jun 21, 2018 at 17:15

2 votes

Defining an HTML Template as an Algebraic Type

answered Jul 8, 2018 at 16:21

2 votes

Accepted

Symbolic Evaluation for Type Inference in a Dynamic Language

answered Jul 11, 2018 at 13:49

2 votes

If it's Possible to Create the If-Statement from Simpler Primitives

answered Jul 11, 2018 at 14:05

2 votes

Beta reduction order in Lambda calulus

answered Jan 11, 2019 at 23:37

0 votes

Are mathematical functions used in computer science?

answered May 4, 2018 at 1:41