Skip to main content
Computer Science
Li-yao Xia's user avatar
Li-yao Xia's user avatar
Li-yao Xia's user avatar
Li-yao Xia
  • Member for 7 years, 4 months
  • Last seen this week
Profile Activity
Stats
685
reputation
4k
reached
24
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
4
bronze badges
Top tags
View all tags
8
Score
3
Posts
12
Posts %
7
Score
2
Posts
8
Posts %
5
Score
4
Posts
17
Posts %
5
Score
3
Posts
12
Posts %
5
Score
2
Posts
8
Posts %
5
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
answer
6
Is this a potentially more intuitive approach to MergeSort?
Jul 11
answer
5
Does anything go wrong in the lambda cube if we forbid reductions of the bodies of abstractions?
Sep 8
answer
3
Higher-ranked polymorphism without explicit application or subtyping?
May 14, 2017
answer
3
Closures break induction in correctness proof of interpreter
Feb 5
answer
3
Question regarding definition of dIP
Jul 11
answer
3
Are there theorem dual to Tarjan's theorem for breath first search?
Aug 3
answer
2
Implementing a correct `let rec in` interpreter in Haskell with `eval` and `sub` semantics
Jan 10, 2022
answer
2
Benjamin Pierce Types and Programming Languages 6.1.5 Clarification
Jun 14
answer
2
How to determine whether two recursive data types overlap
Jun 27
answer
2
Possible mistake in a book regarding parsing and lexical analysis
Jul 13
Top network posts
View all network posts
24
Polymorphism inside monads
23
Why do nested MaybeT's cause exponential allocation
20
Stack's package.yaml vs stack.yaml
18
How to Factorize Continuation Monad into Left & Right Adjoints?
18
What is the connection between laziness and purity?