Programming Language Design and Implementation Beta
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 6 months
  • Last seen more than a month ago
  • Tbilisi
Profile Activity
Stats
1,179
reputation
5k
reached
24
answers
0
questions
Communities
View all
About

Deeply Technical Writer at Noeon Research.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
19
Score
4
Posts
17
Posts %
14
Score
3
Posts
12
Posts %
14
Score
3
Posts
12
Posts %
12
Score
2
Posts
8
Posts %
11
Score
2
Posts
8
Posts %
10
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
9
What are the disadvantages of automatically inlining all functions?
Jun 20
answer
8
Runtime/Backend for a lazy, pure functional, lambda-calculus-based language?
May 17
answer
8
What is defunctionalisation useful for?
May 24
answer
7
How do you solve Expression Problem in your language design?
Jun 6
answer
5
Could ownership be inferred?
May 21
answer
5
Documenting the syntax of an existing language
May 24
answer
5
What are the consequences of an unsound type system?
Jun 12
answer
5
What are the differences between Unit and Singleton Types?
Jun 16
answer
4
Quantified variables without case-based analysis in traits
Jun 7
answer
4
How do I implement branch prediction for JIT?
May 27
Top network posts
View all network posts
12
Learning materials for doing analysis (calculus) in a mechanized way
11
Proof assistants for beginners - a comparison
6
What's the difference between reflection and tactics?
6
Can the language of proof assistants be used for general purpose programming?
5
What is the meta-language of ZFC?

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.