My professional interests: practical programming language design and using fun languages to build systems.
I currently work at Igalia, a worker-owned company that focuses on libre/open-souce software consulting. Please do reach out to us if you are in need of some custom software built by expert open-source developers.
I also work on Racket and Typed Racket as a member of PLT. In my previous position, I worked as a research assistant and investigated how to make gradual type systems more practical. My publications are available at my academic homepage.
- Gradual Typing Across the Spectrum
- Tutorial: using Racket's FFI (part 1)
- Tutorial: using Racket's FFI (part 2)
- Tutorial: using Racket's FFI (part 3)
Mail: asumu at asumu dot xyz
PGP: 8435 930A A3CA 79E2 8D03 21C0 42EB D91B 87A9 750A