| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Wed May 9 17:55:52 EDT 2012 |
|
The Scribble language is a great instance of this, though unfortunately there isn't yet really an easily accessible document that lays out the argument crisply for a lay audience. But if you can persist a little, try the Scribble ICFP paper.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}