[formal-methods] Elements -- internal and external.

[Jason Dusek]

  This paper was suggested to be when I was asking about
  Problem 1 of Section 5 on `#haskell-in-depth`.

--
Jason Dusek
-------------- next part --------------
A non-text attachment was scrubbed...
Name: elements.pdf
Type: application/pdf
Size: 122894 bytes
Desc: not available
URL: <http://www.noisebridge.net/pipermail/formal-methods/attachments/20090704/b17fd1c9/attachment-0002.pdf>