Patrick Maier

发表

Philip W. Trinder, Patrick Maier, Robert J. Stewart, 2013, SAC '13.
Hans-Wolfgang Loidl, Philip W. Trinder, Patrick Maier, 2010, Haskell.
Patrick Maier, Phil Trinder, Blair Archibald, 2019, Euro-Par.
Patrick Maier, Robert J. Stewart, Phil Trinder, 2013, SAC '13.
Witold Charatonik, Patrick Maier, Lilia Georgieva, 2005, CSL.
Hans-Wolfgang Loidl, Patrick Maier, Simon Marlow, 2010 .
Patrick Maier, Lilia Georgieva, L. Georgieva, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Patrick Maier, Lilia Georgieva, 2009, FTP.
Philip W. Trinder, Patrick Maier, Robert J. Stewart, 2012, Trends in Functional Programming.
Patrick Maier, Robert J. Stewart, Ciaran McCreesh, 2017, J. Parallel Distributed Comput..
Patrick Maier, Lilia Georgieva, 2005, Description Logics.
Hans-Wolfgang Loidl, Philip W. Trinder, Patrick Maier, 2014, Euro-Par.
Philip W. Trinder, Patrick Maier, John Magnus Morton, 2016, FHPC@ICFP.
Philip W. Trinder, Patrick Maier, Robert J. Stewart, 2014, Haskell '14.
Philip W. Trinder, Patrick Maier, Robert J. Stewart, 2016, Journal of Functional Programming.
Patrick Maier, Ian Stark, David Aspinall, 2008, Electron. Notes Theor. Comput. Sci..
Philip W. Trinder, Patrick Maier, John Magnus Morton, 2015 .
Patrick Maier, Robert J. Stewart, Phil Trinder, 2020, PPoPP.
Philip W. Trinder, Patrick Maier, John Magnus Morton, 2016, Electron. Notes Theor. Comput. Sci..
Witold Charatonik, Harald Ganzinger, Patrick Maier, 2002, LICS 2002.
Patrick Maier, David Aspinall, Ian Stark, 2007, FMCO.
Philip W. Trinder, Jan De Beule, Patrick Maier, 2017, PASCO@ISSAC.
Steve Linton, Hans-Wolfgang Loidl, Philip W. Trinder, 2016, Concurr. Comput. Pract. Exp..
Jochen Hoenicke, Patrick Maier, Jochen Hoenicke, 2005, FM.
Patrick Maier, Phil Trinder, John Magnus Morton, 2015 .