BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
∅
Talks about:
function (1) depart (1) proof (1) pearl (1) ghost (1)

Person: Matt Noonan

DBLP DBLP: Noonan:Matt

Contributed to:

Haskell 20182018

Wrote 1 papers:

Haskell-2018-Noonan #functional #proving
Ghosts of departed proofs (functional pearl) (MN), pp. 119–131.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.