( en | de | ru )

 

Disambiguation of "Stump, Aaron"

Author of the publication

copydeleteadd this publication to your clipboard
Dualized Simple Type Theory.

, , and . Log. Methods Comput. Sci., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wolfgang Stump

Franz Stump

Kurt Aaron

Siegfried Aaron

Else Aaron

 

Other publications of authors with the same name

The calculus of dependent lambda eliminations.. J. Funct. Program., (2017)Syntax and Typing for Cedille Core.. CoRR, (2018)Foundational proof checkers with small witnesses., , and . PPDP, page 264-274. ACM, (2003)Efficient lambda encodings for Mendler-style coinductive types in Cedille., , and . MSFP@ETAPS, volume 317 of EPTCS, page 72-97. (2020)Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007)., , , and . Int. J. Artif. Intell. Tools, 17 (4): 569-606 (2008)A Type-Based Approach to Divide-and-Conquer Recursion in Coq., , , , , and . Proc. ACM Program. Lang., 7 (POPL): 61-90 (January 2023)The Design of a Practical Proof Checker for a Lazy Functional Language., , and . Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, page 117-132. Springer, (2012)Verified programming in Guru., , , , and . PLPV, page 49-58. ACM, (2009)Preface., and . PLPV@IJCAR, volume 174 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2006)Introducing StarExec: a Cross-Community Infrastructure for Logic Solving., , and . COMPARE, volume 873 of CEUR Workshop Proceedings, page 2. CEUR-WS.org, (2012)