[Agda] the Racket summer school of semantics and languages

Robby Findler robby at eecs.northwestern.edu
Sat Apr 1 15:34:06 CEST 2017


  The Racket Summer School of Semantics and Languages
                    Last Call

Imagine yourself confronted with a Mystery Programming Language and
charged with the task of figuring out its semantics. What would you do?

What if you have a formal executable semantics and want to build a
production language for it?

If these questions intrigue you, attend the Racket Summer School:

   http://summer-school.racket-lang.org/2017/

This is not your run-of-the-mill summer school. We will do our best
to make it exciting, entertaining, and useful to a broad spectrum of
attendees, both academic and industrial.

P.S. As soon as you get accepted, we will send you your first problem
set. Get ready.


More information about the Agda mailing list