Collaborated with:B.Lippmeier Andrae Muys M.M.T.Chakravarty G.Keller
Talks about:fusion (2) merg (2) contract (1) product (1) express (1) machin (1) haskel (1) author (1) smart (1) seri (1)
Person: Amos Robinson
DBLP: Robinson:Amos
Contributed to:
2013
20172019Wrote 3 papers:
- Haskell-2013-LippmeierCKR #data flow #haskell
- Data flow fusion with series expressions in Haskell (BL, MMTC, GK, AR), pp. 93–104.
- PPDP-2017-RobinsonL
- Machine fusion: merging merges, more or less (AR, BL), pp. 139–150.
- PPDP-2019-LippmeierRM #contract
- Smart Contracts as Authorized Production Rules (BL, AR, AM), p. 14.