( en | de | ru )

 

Disambiguation of "Nester, Chad"

Author of the publication

copydeleteadd this publication to your clipboard
System F in Agda, for Fun and Profit.

, , , and . MPC, volume 11825 of Lecture Notes in Computer Science, page 255-297. Springer, (2019)

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.

Chad Davis

Wolfgang Nester

Heinz Nester

Holle Nester

Adrian Chadi

 

Other publications of authors with the same name

Protocol Choice and Iteration for the Free Cornering., and . CoRR, (2023)A Variety Theorem for Relational Universal Algebra.. RAMiCS, volume 13027 of Lecture Notes in Computer Science, page 362-377. Springer, (2021)Unraveling Recursion: Compiling an IR with Recursion to System F., , , , , and . MPC, volume 11825 of Lecture Notes in Computer Science, page 414-443. Springer, (2019)System F in Agda, for Fun and Profit., , , and . MPC, volume 11825 of Lecture Notes in Computer Science, page 255-297. Springer, (2019)Functorial Semantics for Partial Theories., , , and . CoRR, (2020)The Structure of Concurrent Process Histories.. COORDINATION, volume 12717 of Lecture Notes in Computer Science, page 209-224. Springer, (2021)Functorial semantics for partial theories., , , and . Proc. ACM Program. Lang., 5 (POPL): 1-28 (2021)Situated Transition Sytems.. ACT, volume 372 of EPTCS, page 103-115. (2021)A Foundation for Ledger Structures.. Tokenomics, volume 82 of OASIcs, page 7:1-7:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)