Computer Science
user avatar
user avatar
user avatar
pad
  • Member for 10 years, 4 months
  • Last seen more than 7 years ago
Profile Activity
Stats
341
reputation
1k
reached
2
answers
0
questions
Communities
View all
About

I'm a PhD student in Computer Science. Being obsessed with program correctness, I use functional programming and formal methods daily to enforce it.

During free time, I contribute to some F# Open Source projects.

I'm the facilitator of F# source code formatter and Visual F# Power Tools. See my GitHub profile for more details.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
17
Score
2
Posts
100
Posts %
12
Score
1
Posts
50
Posts %
12
Score
1
Posts
50
Posts %
12
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
12
Error in the use of asymptotic notation
Mar 25, 2012
answer
5
Research on evaluating the performance of cache-obliviousness in practice
Mar 24, 2012
Top network posts
View all network posts
45
Concise pattern match on single case discriminated union in F#
37
How to load external F# script file and use it in F# interactive?
28
How can I load a ml file in toplevel of OCaml, just like `use mine.sml` in SML/NJ?
27
F# advanced exercises
26
Best Practices for cache locality in Multicore Parallelism in F#

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.