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