Re: datatype constructor as syntax
Andreas Rossberg <[email protected]>
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <[email protected]> |
On Dec 31, 2013, at 09:47 , Florian Weimer <[email protected]> wrote: > * Henry Cejtin: >> Rossberg's Defects in the Revised Definition of Standard ML >> http://www.ps.uni-saarland.de/Publications/documents/Rossberg_DefectsSML.pdf FWIW, a more up-to-date version is here: http://www.mpi-sws.org/~rossberg/papers/sml-defects.pdf (Although the differences aren't many.) /Andreas To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. ------------------------------------------------------------------------------ Learn Graph Databases - Download FREE O'Reilly Book "Graph Databases" is the definitive new guide to graph databases and their applications. Written by three acclaimed leaders in the field, this first edition is now available. Download your free book today! http://p.sf.net/sfu/13534_NeoTech