Registered user since Tue 14 Aug 2018
Name:Justus Sagemüller
Bio:
Geophysicist, Haskell hacker and musician.
Always in search of ways to bridge the gaps between these disciplines – in particular, bringing nice constructive, well-typed FP techniques to physics.
I’m currently writing a master’s thesis on the magnetic field of Neptune.
Country:Germany
Affiliation:Universität zu Köln, Institut für Geophysik und Meteorologie
Personal website:https://github.com/leftaroundabout
Research interests:Physics, Numerics of differential equations, Topology, Music theory
Contributions
| FARM 2018 | (Ab)using a monadic screen-presentation EDSL as a just-intonation synth pad controller | ||||||||||||||||||||||||||||||||||||||||
| NPFL 2018 | Manifolds as Haskell types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2018-profile
View general profile
View general profile