Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Browse by Warwick Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Official Date | Item Type | Funder | No Grouping
Jump to: 2021 | 2019 | 2017
Number of items: 4.

2021

Bailey, Toby and Gale, Michael B. (2021) Chesskell : a two- player game at the type level. In: 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021. Published in: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell pp. 110-121. doi:10.1145/3471874.3472987

Keating, Finnbar and Gale, Michael B. (2021) Graded monads and type-level programming for dependence analysis. In: 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021. Published in: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell pp. 27-40. ISBN 9781450386159. doi:10.1145/3471874.3472981

2019

Barnes, Kenton M. and Gale, Michael (2019) Meta-genetic programming for static quantum circuits. In: Genetic and Evolutionary Computation Conference Companion (GECCO ’19 Companion), Prague, Czech Republic, 13–17 Jul 2019. Published in: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion pp. 2016-2019. ISBN 9781450367486. doi:10.1145/3319619.3326907

2017

Szamozvancev, Dmitrij and Gale, Michael (2017) Well-typed music does not sound wrong (experience report). In: Haskell Symposium 2017, Oxford, United Kingdom, 7–8 Sep 2017. Published in: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell pp. 99-104. ISBN 9781450351829.

This list was generated on Thu Feb 9 06:17:46 2023 GMT.
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us