BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
L.Lampropoulos K.Foner C.Hritcu J.Hughes B.C.Pierce D.Vytiniotis A.A.d.Amorim
Talks about:
noninterfer (1) function (1) random (1) quick (1) pearl (1) test (1) urn (1) ode (1)

Person: Antal Spector-Zabusky

DBLP DBLP: Spector-Zabusky:Antal

Contributed to:

ICFP 20132013
Haskell 20172017

Wrote 2 papers:

ICFP-2013-HritcuHPSVAL #testing
Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
Haskell-2017-LampropoulosSF #functional #random
Ode on a random urn (functional pearl) (LL, ASZ, KF), pp. 26–37.

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.