On Thu, Aug 23, 2012 at 12:23 PM, Ramana Kumar
ramana.ku...@cl.cam.ac.uk wrote:
Dear Haskell Cafe
I'm looking for information on past and current attempts to write semantics
for Haskell.
Features I'm particularly interested in are:
formal
mechanised
maintainable
up to date
Of course,
On 8/25/12 6:48 AM, Kristopher Micinski wrote:
Thus, you typically want to think about the semantics of core
Haskell, in which you might try understanding the semantics of the
STG machine.
Along those lines, there's Pirog and Biernacki's A Systematic
Derivation of the STG Machine
Veriļ¬ed in
On Sat, Aug 25, 2012 at 9:33 AM, Gershom Bazerman gersh...@gmail.com wrote:
On 8/25/12 6:48 AM, Kristopher Micinski wrote:
Thus, you typically want to think about the semantics of core
Haskell, in which you might try understanding the semantics of the
STG machine.
Along those lines,
Hi,
Last summer, as part of the Summer of Code, David Lazar formalized a
significant portion of Haskell 98 in the K framework. You can find the
code here:
https://github.com/davidlazar/haskell-semantics
And there's a talk about it here:
On Sat, 25 Aug 2012, Kristopher Micinski krismicin...@gmail.com wrote:
On Thu, Aug 23, 2012 at 12:23 PM, Ramana Kumar
ramana.ku...@cl.cam.ac.uk wrote:
Dear Haskell Cafe
I'm looking for information on past and current attempts to write semantics
for Haskell.
Features I'm particularly
I do not know Haskell. It looks to me as though there are
several pieces of the mechanism:
1. There is, once the extensions are specified, a particular Type
System, that is, a formal system with, on the syntactic side, at
least, assumptions, judgements, rules of inference, terms lying
in
Thanks much Kristopher, Gershom, and Aaron, for the excellent pointers.
(Keep them coming, anyone else - maybe we can update the wiki..)
I will look into them in more detail soon.
On Sat, Aug 25, 2012 at 5:12 PM, Aaron Tomb aaront...@gmail.com wrote:
Hi,
Last summer, as part of the Summer of
On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski krismicin...@gmail.com
wrote:
Still unsure if the translation from
Haskell to Core has been verified, I would suspect not, as I haven't
heard of any such thing.
If it is only Core that has semantics, then it wouldn't make sense to
verify
On Sat, 25 Aug 2012, Kristopher Micinski krismicin...@gmail.com wrote:
I do not know Haskell. It looks to me as though there are
several pieces of the mechanism:
1. There is, once the extensions are specified, a particular Type
System, that is, a formal system with, on the syntactic side,
On Sat, Aug 25, 2012 at 3:38 PM, Jay Sulzberger j...@panix.com wrote:
This is good. I will look at the references given in this
thread. The account at
http://web.archive.org/web/20060206074101/http://www.cse.ogi.edu/~mpj/thih/TypingHaskellInHaskell.html
is, I think, one part of what I was
On Sat, 25 Aug 2012, Kristopher Micinski krismicin...@gmail.com wrote:
On Sat, Aug 25, 2012 at 3:38 PM, Jay Sulzberger j...@panix.com wrote:
This is good. I will look at the references given in this
thread. The account at
Dear Haskell Cafe
I'm looking for information on past and current attempts to write semantics
for Haskell.
Features I'm particularly interested in are:
- formal
- mechanised
- maintainable
- up to date
Of course, if nothing like that exists then partial attempts towards it
could
ML has a formal definition[1]; why not Haskell? Would this be a Good Thing,
or a Waste Of Time? The Report strikes me as a hybrid of formal and
informal. I guess that's not a problem so far, but there aren't that many
implementations; if we had dozens, how could we verify conformance? A
formal
ML has a formal definition[1]; why not Haskell? Would this be a Good Thing,
or a Waste Of Time?
Not exactly what you are asking for, but a start:
http://www.cs.kent.ac.uk/pubs/1992/123/index.html
gregg
Tim Newsham
http://www.thenewsh.com/~newsham/
Is that () or _|_? ;)
Tim Newsham news...@lava.net wrote:
null___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Gregg,Too late for me, but, anyway. I support the idea of the warning
2009/2/9 gregg reynolds d...@mobileink.com
Is that () or _|_? ;)
Tim Newsham news...@lava.net wrote:
null
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
16 matches
Mail list logo
