Jeremy Gibbons

Jeremy Gibbons

University of Oxford - Oxford / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056492
person_outline Jeremy Gibbons's MOST POPULAR ARTICLES
1-) A process semantics for BPMNPYH Wong, J GibbonsInternational Conference on Formal Engineering Methods, 355-374, 20082322008
2-) Design patterns as higher-order datatype-generic programsJ GibbonsProceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 1-12, 20061672006
3-) Datatype-generic programmingJ GibbonsDatatype-Generic Programming, 1-71, 2007166*2007
4-) Folding domain-specific languages: deep and shallow embeddings (functional Pearl)J Gibbons, N WuProceedings of the 19th ACM SIGPLAN international conference on Functional …, 20141362014
5-) Just do it: Simple monadic equational reasoningJ Gibbons, R HinzeACM SIGPLAN Notices 46 (9), 2-14, 20111352011