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.
Top Network Posts
- 46Resources for working with Machine Learning in F#
- 27Programming language for functional parallelism: F# vs Haskell
- 27Concise pattern match on single case discriminated union in F#
- 26Best Practices for cache locality in Multicore Parallelism in F#
- 24Extended computation expressions without for..in..do
- 20How to write this C# code in F#
- 17why does F# inline cause 11x performance improvement
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.