Software Engineering
beta's user avatar
beta's user avatar
beta's user avatar
beta
  • Member for 11 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
1,002
reputation
37k
reached
0
answers
7
questions
Communities
View all
Badges
View all badges
2
gold badges
9
silver badges
16
bronze badges
Top tags
View all tags
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
question
33
Divide and Conquer algorithms – Why not split in more parts than two?
May 5, 2013
question
22
Type checking and recursive types (Writing the Y combinator in Haskell/Ocaml)
Oct 27, 2013
question
17
Side effect-free interface on top of a stateful library
Nov 7, 2013
question
8
Why does OCaml's (and F#'s) type inference algorithm need tagging functions as recursive? [duplicate]
Jul 11, 2013
question
5
Untyped lambda calculus: Why is call-by-value strict?
May 27, 2013
question
3
Two-Dimensional vector in C++ – inefficient with dynamic-sized sub vectors?
May 8, 2013
question
1
Priority queue for Kruskal's algorithm with running time O(E lg V)
May 6, 2013
Top network posts
View all network posts
32
Subsumption in polymorphic types
29
How do I inspect Vim variables?
22
Haskell - Debug Print in if block
11
Why does gcc place a “halt” instruction in programs after the call to “main”?
7
Type checking with RankNTypes in Haskell

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.