BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
B.C.d.S.Oliveira S.Mu S.P.Florence J.A.Tov R.B.Findler
Talks about:
can (4) no (2) reifiabl (1) calculus (1) approach (1) modular (1) functor (1) esterel (1) match (1) level (1)

Person: Shu-Hung You

DBLP DBLP: You:Shu=Hung

Contributed to:

Haskell 20152015
POPL 20192019

Wrote 2 papers:

Haskell-2015-OliveiraMY #approach #composition
Modular reifiable matching: a list-of-functors approach to two-level types (BCdSO, SCM, SHY), pp. 82–93.
POPL-2019-FlorenceYTF #calculus
A calculus for Esterel: if can, can. if no can, no can (SPF, SHY, JAT, RBF), p. 29.

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.