| From: Jim Blandy (jimb at red-bean.com) Date: Fri Feb 10 00:08:40 EST 2006 |
|
On 2/9/06, Jay McCarthy <jay.mccarthy at gmail.com> wrote: > 1. http://cs.brown.edu/~sk/Publications/Papers/Published/pcmkf-cont-from-gen-stack-insp/ Fun! (I like to read papers Matthias has contributed to just for the notation. One taught me about contexts, and this one is the first time I've seen overbars used like ... in syntax-rules.)
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}