Off The Beaten Track:
Underrepresented Problems for Programming Language Researchers
http://www.cs.princeton.edu/~dpw/obt/
A Workshop Co-located with POPL 2012
Philadelphia, USA
January 28, 2012
Come and join us for OBT -- we have a great program filled with a diverse set
of problems and idea
t here:
http://www.cs.princeton.edu/~dpw/obt/
We are eager to have lots of 5-minute talks as well as longer talks interleaved
with discussion. Don't be shy: submit your off-the-beaten-track problems and
ideas. The deadline is Nov 14. See the web site or below for more info
Thanks,
thanks for everyone's help -- it seems the simplest solution is to use
the Typeable class, existential types and type-safe cast.
Cheers,
Dave
On Sun, Jul 6, 2008 at 9:18 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
> princedpw:
>> Hi all,
>>
>> SML conveniently contains the type "exn" which is an i
Hi all,
SML conveniently contains the type "exn" which is an instance of an
"extensible data type". In other words, unlike normal data types that
are "closed" (can't admit new constructors once defined), SML's exn
type is "open," allowing programmers to keep adding new alternatives
as often as th
Simon writes:
> It's not clear to me
>
> a) whether or not you want new syntax (requires writing a parser)
we are starting out our implementation without special syntactic
support, but I do anticipate it will be useful primarily because the
implementation I envision will need to generate both
hi,
I sent the message below to the template Haskell mailing list and it
was suggested that I send it to the more general Haskell mailing list.
After my question, I attached a few responses I have received.
Thanks in advance for any suggestions.
Dave
I am new to Haskel
hi,
I sent the message below to the template Haskell mailing list and it
was suggested that I send it to the more general Haskell mailing list.
After my question, I attached a few responses I have received.
Thanks in advance for any suggestions.
Dave
I am new to Haskel