[racket-users] Racket summer school

2017-07-31 Thread Matthias Felleisen

The Racket Summer School on Semantics and Language was held in Salt Lake 
City last month. Sadly we had to turn away about half the applicants. So, 
If you weren’t able to join in person, you may want to check out the 
lecture notes and exercises at 

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

Enjoy! 

— Matthias, Matthew, Robby, Shriram, Jay and Justin 

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[racket-users] Racket summer school

2017-04-13 Thread Robby Findler
  The Racket Summer School of Semantics and Languages

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.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.