Skip to main content
Computer Science
Stefan's user avatar
Stefan's user avatar
Stefan's user avatar
Stefan
  • Member for 12 years, 3 months
  • Last seen more than 1 year ago
Profile Activity
Stats
368
reputation
787
reached
1
answer
4
questions
Communities
View all
About

Started using when I was young.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
4
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
answer
4
Question about "Type checking a multithreaded functional language with session types" by Vasconcelos et al
Nov 3, 2015
question
3
Efficient explicit-substitution calculus
Apr 16, 2016
question
2
Importance of contiguous allocation on flash disks
Apr 5, 2017
question
1
NFA-style representation of regexps which includes AND
May 6, 2015
question
0
Meaning of the univalence axiom on plain data types
May 15, 2015
Top network posts
View all network posts
116
Bind key to increase / decrease font size in emacs
59
Practical benefits of new advice system in Emacs 24.4
47
Emacs: Failed to verify signature archive-contents.sig
46
Get rid of "reference to free variable" byte-compilation warnings
41
When should Emacs #'function syntax be used?