silentvoice
...joined 12 years ago, and has 103 karma
submissions / comments / favourites
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.
...joined 12 years ago, and has 103 karma
submissions / comments / favourites
I research scientific computation and high performance computing. I also have a growing interest in functional programming and dependent types.