A practical formalization of monadic equational reasoning in dependent-type theory

Λεπτομέρειες βιβλιογραφικής εγγραφής

Εκδόθηκε σε:	Journal of Functional Programming vol. 35 (Jan 2025)
Κύριος συγγραφέας:	Affeldt, Reynald
Άλλοι συγγραφείς:	Garrigue, Jacques, Saikawa, Takafumi
Έκδοση:	Cambridge University Press
Θέματα:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Διαθέσιμο Online:	Citation/Abstract Full Text - PDF
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!