Skip to content
View junewunder's full-sized avatar
👾
pronouns: she/her
👾
pronouns: she/her

Organizations

@BarlowProgramming

Block or report junewunder

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
junewunder/README.md

hey I'm june

I'm a PhD student at Boston University working with Marco Gaboardi. I'm studying programming languages, type theory, concurrency, and making advanced type system features accessible to more programmers.

contact me: public@junewunder.com

Pinned Loading

  1. gml-popl24 gml-popl24 Public

    OCaml

  2. bunched-fuzz bunched-fuzz Public

    OCaml 1