Jay M.

Location:

Sandy, UT

Member since:

November 13, 2013

LL is open to a wide range of topics. What languages, paradigms, or topics interest you most?

Racket, obvs. But I'm very interested in type theory and verification, as an avid Coq user.

LL is about discussion of interesting ideas. What are some topics you'd be willing to present on which you think would be of interest to the group?

I could present on almost any PL topic as a teacher and quite a few as a researcher/expert.

What languages do you have the most experience with in a professional setting?

Racket, Coq, Ocaml, C, Perl

Introduction

I'm a member of the Racket development team. I have a PhD in Computer Science from Brown where I specialized in PL research. I'm a professor at BYU.


Our Sponsors

  • Red Brain Labs

    Recording gear for the meetings, occasional meals, misc. costs

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy