user avatar
user avatar
user avatar
xuq01
  • Member for 5 years, 3 months
  • Last seen more than a month ago
  • Japan
45 votes
Accepted

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

6 votes
Accepted

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

6 votes
Accepted

How CompCert "proves" different things in its codebase

5 votes

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

4 votes

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

4 votes

What is a fixpoint?

3 votes

Introduction to type theory for a beginner?

3 votes
Accepted

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

3 votes

The first Turing machine

3 votes
Accepted

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

2 votes

Beta reduction order in Lambda calulus

2 votes

Defining an HTML Template as an Algebraic Type

2 votes
Accepted

Symbolic Evaluation for Type Inference in a Dynamic Language

2 votes

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

0 votes

Are mathematical functions used in computer science?