Travelled to:
1 × Japan
Collaborated with:
L.White H.Liu ∅ O.Kiselyov N.R.Krishnaswami R.Atkey S.Lindley
Talks about:
lightweight (1) polymorph (1) approach (1) unembed (1) revisit (1) program (1) languag (1) generic (1) generat (1) definit (1)
Person: Jeremy Yallop
DBLP: Yallop:Jeremy
Facilitated 1 volumes:
Contributed to:
Wrote 6 papers:
- FLOPS-2014-YallopW #lightweight #morphism #polymorphism
- Lightweight Higher-Kinded Polymorphism (JY, LW), pp. 119–135.
- Haskell-2009-AtkeyLY #domain-specific language
- Unembedding domain-specific languages (RA, SL, JY), pp. 37–48.
- Haskell-2016-YallopL #commutative #revisited
- Causal commutative arrows revisited (JY, HL), pp. 21–32.
- PEPM-2016-Yallop #programming #staging
- Staging generic programming (JY), pp. 85–96.
- PEPM-2019-YallopK #generative #recursion
- Generating mutually recursive definitions (JY, OK), pp. 75–81.
- PLDI-2019-KrishnaswamiY #algebra #approach #parsing
- A typed, algebraic approach to parsing (NRK, JY), pp. 379–393.