Harold C.


Salt Lake City, UT

Member since:

October 16, 2013

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

Haskell, Coq.

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?

- Beginning Coq (i.e., Software Foundations - Benjamin Pierce's work). - Beginning Haskell - Monad Tutorial

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

Java, Scheme/Lisp, C++, C, assembly.


Software Architect/Developer.­ Ph.D., in CS from University of Utah. http://haroldcarr...­

What Harold C. is saying about this Meetup Group

Looks promising. Thanks.

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