Theoretical Computer Science
Lionel Parreaux's user avatar
Lionel Parreaux's user avatar
Lionel Parreaux's user avatar
Lionel Parreaux
  • Member for 2 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
212
reputation
1k
reached
2
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
4
Score
2
Posts
67
Posts %
4
Score
2
Posts
67
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
4
Are there strongly normalizing lambda terms that cannot be given a System F type?
May 1, 2021
answer
4
"Spurious" Type Equivalences in MLSub/Algebraic Subtyping
Apr 26, 2022
question
3
Are there strongly normalizing lambda terms that cannot be given a System F type?
Apr 30, 2021
Top network posts
View all network posts
34
How can I force a struct's field to always be immutable in Rust?
12
Why is the "virtuality" of methods implicitly propagated in C++?
10
What risks from an SMC reset?
6
Scala downwards or decreasing for loop?
6
Passing around path dependent type fails to retain dependent value

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.