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 × Taiwan
1 × USA
Collaborated with:
L.Xu N.Li F.Mo J.Hickey A.Nogin A.Kopylov
Talks about:
represent (1) stochast (1) reflect (1) program (1) reason (1) mechan (1) length (1) hybrid (1) consid (1) bruijn (1)

Person: Xin Yu


Contributed to:

CASE 20142014
ICFP 20062006

Wrote 2 papers:

CASE-2014-XuLYM #integer #probability #programming
A mixed integer programming model for Bed planning considering stochastic length of stay (LX, NL, XY, FM), pp. 1069–1074.
ICFP-2006-HickeyNYK #hybrid #representation #using
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.

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.