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: You:Shu=Hung
Contributed to:
2015
2019Wrote 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.