Thorsten Altenkirch

发表

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, 2019, MPC.
Thorsten Altenkirch, Bernhard Reus, Thorsten Altenkirch, 1999, CSL.
Thorsten Altenkirch, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Thorsten Altenkirch, Juliana Kaizer Vizzotto, Amr Sabry, 2006, Math. Struct. Comput. Sci..
Thorsten Altenkirch, Alexander S. Green, 2008, Electron. Notes Theor. Comput. Sci..
Thorsten Altenkirch, Tarmo Uustalu, 2004, FLOPS.
Thorsten Altenkirch, Conor McBride, Thorsten Altenkirch, 2002, Generic Programming.
Martin Hofmann, Thorsten Altenkirch, Thomas Streicher, 1995, Category Theory and Computer Science.
Thorsten Altenkirch, Conor McBride, Neil Ghani, 2005, Fundam. Informaticae.
Andrej Bauer, Robert Harper, Thierry Coquand, 2013, ArXiv.
Thorsten Altenkirch, Andreas Abel, 2011, Electron. Notes Theor. Comput. Sci..
Peer-Olaf Siebers, Thorsten Altenkirch, Jonathan Thaler, 2018, IFL.
Thorsten Altenkirch, Bengt Nordström, Veronica Gaspes, 1994 .
Thorsten Altenkirch, James Chapman, 2009, J. Funct. Program..
Thorsten Altenkirch, Wouter Swierstra, 2007, Haskell '07.
Peter Morris, Thorsten Altenkirch, Neil Ghani, 2009, Int. J. Found. Comput. Sci..
Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, 2018, FoSSaCS.
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus, 2017, FoSSaCS.
Thorsten Altenkirch, Nils Anders Danielsson, Thorsten Altenkirch, 2010, MPC.
Thorsten Altenkirch, Conor McBride, Wouter Swierstra, 2007, PLPV.
Thorsten Altenkirch, Ondrej Rypacek, 2012, CSL.
Thorsten Altenkirch, Wouter Swierstra, 2008, Trends in Functional Programming.
Thorsten Altenkirch, Nils Anders Danielsson, Thorsten Altenkirch, 2010, PAR@ITP.
Thorsten Altenkirch, Nicolai Kraus, 2018, LICS.
Peter Morris, Thorsten Altenkirch, Anton Setzer, 2011, CALCO.
Thorsten Altenkirch, Ambrus Kaposi, Thorsten Altenkirch, 2016, POPL.
Thorsten Altenkirch, Ambrus Kaposi, 2016, FSCD.
Martin Hofmann, Thorsten Altenkirch, Peter Dybjer, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Thorsten Altenkirch, Juliana Kaizer Vizzotto, Amr Sabry, 2007, Electron. Notes Theor. Comput. Sci..
Thorsten Altenkirch, Thorsten Altenkirch, 2004 .
Thorsten Altenkirch, Sam Staton, Paul Blain Levy, 2010, CiE.
Thorsten Altenkirch, Thorsten Altenkirch, 2001, TLCA.
Thorsten Altenkirch, Conor McBride, Neil Ghani, 2013, TLCA.
Thierry Coquand, Thorsten Altenkirch, 2001, TLCA.
Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, 2010, FLOPS.
Thorsten Altenkirch, Nils Anders Danielsson, Thorsten Altenkirch, 2009 .
Thorsten Altenkirch, Andreas Abel, 2002 .
Thorsten Altenkirch, Henrik A. Nilsson, 2007 .
Thorsten Altenkirch, Tarmo Uustalu, James Chapman, 2010, FoSSaCS.
Thorsten Altenkirch, Aleksy Schubert, 2019, Fundam. Informaticae.
Thorsten Altenkirch, Tarmo Uustalu, 2010, Fundam. Informaticae.
Thorsten Altenkirch, Neil Ghani, Michael Gordon Abbott, 2004, ICALP.
Thierry Coquand, Thorsten Altenkirch, Martín Hötzel Escardó, 2013, TLCA.
Thorsten Altenkirch, Nicolai Kraus, Paolo Capriotti, 2016, CSL.
Thorsten Altenkirch, Colin Geniet, 2019, TYPES.
Thorsten Altenkirch, Ambrus Kaposi, 2015, TYPES.
Thorsten Altenkirch, Ambrus Kaposi, Thorsten Altenkirch, 2016, Log. Methods Comput. Sci..
Thorsten Altenkirch, Nuo Li, Ondrej Rypacek, 2014, LFMTP '14.
Thorsten Altenkirch, Conor McBride, Neil Ghani, 2003, TLCA.
Peter Morris, Thorsten Altenkirch, Neil Ghani, 2007, CATS.
Thorsten Altenkirch, Wouter Swierstra, Thorsten Altenkirch, 2007 .
Peter Morris, Thorsten Altenkirch, Conor McBride, 2004, TYPES.
Thorsten Altenkirch, Thorsten Altenkirch, 1993, CST.
Martin Hofmann, Thorsten Altenkirch, Thomas Streicher, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski, 1998 .
Thorsten Altenkirch, Neil Ghani, Michael Gordon Abbott, 2005, Theor. Comput. Sci..
Martin Hofmann, Thorsten Altenkirch, John Hughes, 2004, Dependently Typed Programming.
Peter Morris, Thorsten Altenkirch, Conor McBride, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Thorsten Altenkirch, Andreas Abel, Thorsten Altenkirch, 1999, TYPES.
Thorsten Altenkirch, Luis Scoccola, 2020, LICS.
Graham Hutton, Thorsten Altenkirch, Jeremy Gibbons, 2001, CMCS.
Thorsten Altenkirch, James Chapman, 2006, MSFP@MPC.
Thorsten Altenkirch, Chantal Keller, 2010, MSFP '10.
Thorsten Altenkirch, Thorsten Altenkirch, 1994, TYPES.
Thorsten Altenkirch, Tarmo Uustalu, James Chapman, 2014, J. Formaliz. Reason..
Peer-Olaf Siebers, Thorsten Altenkirch, Jonathan Thaler, 2018 .
Thorsten Altenkirch, Todd D. Millstein, 2009, POPL 2009.
Thorsten Altenkirch, Ambrus Kaposi, András Kovács, 2019, Proc. ACM Program. Lang..
Thorsten Altenkirch, Conor McBride, Neil Ghani, 2004, MPC.
Thorsten Altenkirch, Patrik Jansson, Johan Glimming, 2012 .
Thorsten Altenkirch, Tarmo Uustalu, James Chapman, 2010, Log. Methods Comput. Sci..
Thorsten Altenkirch, Tarmo Uustalu, Thorsten Altenkirch, 2004 .
J. van Leeuwen, Jan van Leeuwen, Thorsten Altenkirch, 2001, Lecture Notes in Computer Science.
Thorsten Altenkirch, Conor McBride, James Chapman, 2005, Trends in Functional Programming.
Thorsten Altenkirch, Conor McBride, 2016, Math. Struct. Comput. Sci..
Peter Morris, Thorsten Altenkirch, Conor McBride, 2006, SSDGP.
Thierry Coquand, Thorsten Altenkirch, Martín Hötzel Escardó, 2016, Log. Methods Comput. Sci..
Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, 2021, FoSSaCS.
Thorsten Altenkirch, Venanzio Capretta, 2017 .
Thorsten Altenkirch, Chantal Keller, 2010 .
Thorsten Altenkirch, Nils Anders Danielsson, Thorsten Altenkirch, 2010, MPC'10 2010.
Thorsten Altenkirch, Thorsten Altenkirch, Ondřej Rypáček, 2012 .
Thorsten Altenkirch, Nicolai Kraus, Paolo Capriotti, 2016 .
Thorsten Altenkirch, Thorsten Altenkirch, 2014 .
Thorsten Altenkirch, Jonathan Grattage, 2005 .
Thorsten Altenkirch, Nicolas Oury, 2008 .
Thorsten Altenkirch, Conor McBride, 2006 .
Thorsten Altenkirch, Thorsten Altenkirch, Jonathan Grattage April, 2005 .