17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings

Veröffentlicht 2024
von Jeremy Gibbons, Dale Miller bei Springer Singapore
ISBN: 978-981-9722-99-0

Veröffentlicht 2019
von Kathryn Conrad, Cóilín Parsons, Julie McCormick Weng bei Syracuse University Press
ISBN: 978-0-8156-5448-3

Advanced Lectures

Veröffentlicht 2003
von Roland Backhouse, Jeremy Gibbons bei Springer Berlin Heidelberg
ISBN: 978-3-540-45191-4

Veröffentlicht 2012
von Jeremy Gibbons bei Springer Berlin Heidelberg
ISBN: 978-3-642-32202-0

International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Veröffentlicht 2018
von Jeremy Gibbons, Perdita Stevens bei Springer International Publishing
ISBN: 978-3-319-79108-1

Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Veröffentlicht 2014
von Jeremy Gibbons, Wendy MacCaull bei Springer Berlin Heidelberg
ISBN: 978-3-642-53956-5

Veröffentlicht 2020
von Richard Bird, Jeremy Gibbons bei Cambridge University Press
ISBN: 978-1-108-85826-7

International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Veröffentlicht 2007
von Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring bei Springer Berlin Heidelberg
ISBN: 978-3-540-76786-2

IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Veröffentlicht 2003
von Jeremy Gibbons, Johan Jeuring bei Springer US
ISBN: 978-1-4020-7374-8

International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Veröffentlicht 2003
von Roland Backhouse, Roy Crole, Jeremy Gibbons bei Springer Berlin Heidelberg
ISBN: 978-3-540-47797-6

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Veröffentlicht 2012
von Jeremy Gibbons, Pablo Nogueira bei Springer Berlin Heidelberg
ISBN: 978-3-642-31113-0

IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Veröffentlicht 2013
von Jeremy Gibbons, Johan Jeuring bei Springer US
ISBN: 978-1-4757-5320-2

Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Veröffentlicht 2014
von Jeremy Gibbons, Wendy MacCaull bei Springer Berlin
ISBN: 978-3-642-53955-8

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Veröffentlicht 2009
von Jeremy Gibbons, Jose Nuno Oliveira bei Springer Berlin Heidelberg
ISBN: 978-3-642-04912-5

IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany

Veröffentlicht 2013
von Jeremy Gibbons, Johan Jeuring bei Springer US
ISBN: 978-0-387-35672-3

6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Veröffentlicht 2007
von Jim Davies, Jeremy Gibbons bei Springer Berlin Heidelberg
ISBN: 978-3-540-73210-5

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Veröffentlicht 2012
von Jeremy Gibbons, Pablo Nogueira bei Springer Berlin
ISBN: 978-3-642-31112-3

International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Veröffentlicht 2018
von Jeremy Gibbons, Perdita Stevens bei Springer International Publishing
ISBN: 978-3-319-79107-4

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Veröffentlicht 2009
von Jeremy Gibbons, Jose Nuno Oliveira bei Springer Berlin
ISBN: 978-3-642-04911-8

Advanced Lectures

Veröffentlicht 2003
von Roland Backhouse, Jeremy Gibbons bei Springer Berlin
ISBN: 978-3-540-20194-6