Date Range
Date Range
Date Range
I am currently exploring the notion of a statically session-typed, multi-process language, utilizing processes and process interactions as the primary effect to develop effect-as-processes. With Amr Sabry and Sam Tobin-Hochstadt. A Unified Characterization of Runtime Verification Systems as Patterns of Communication. Dissertation, Indiana University, 2018.
Fuzzy module loading in GHCi. A parallel scheduler in 50 lines of Haskell. Some of my PL-related interests are compilers, multi-stage programming, making functional languages fast, and verification. You can see my CV here.
How to learn to do determinism proofs. A couple days ago, my advisor asked me what reading material I would suggest to a new student who wants to learn to do determinism proofs like the ones we did for LVar. A month of daily check-ins. Some time ago, in response to my asking what I should write about on this blog, Sumana.
Retape dans le champ ci-dessous la suite de chiffres et de lettres qui apparaissent dans le cadre ci-contre.
Abonne-toi à mon blog! Le rapeur caennai Authentique - A ECOUTER ET FAIRE TOURNER. Ajouter cette vidéo à mon blog.