Citação norma APA

Chirica, I. (2024). Unfolding Iterators. Specification and Verification of Higher-Order Iterators, in OCaml.

Citação norma Chicago

Chirica, Ion. Unfolding Iterators. Specification and Verification of Higher-Order Iterators, in OCaml. 2024.

Citação norma MLA

Chirica, Ion. Unfolding Iterators. Specification and Verification of Higher-Order Iterators, in OCaml. 2024.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.