101. Finiteness and rational sequences, constructively*. (2017) Authors: UUSTALU, TARMO; VELTRI, NICCOLÒ Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
102. Finiteness and rational sequences, constructively*. (5th April 2017) Authors: UUSTALU, TARMO; VELTRI, NICCOLÒ Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
103. Flexible dynamic information flow control in the presence of exceptions*. (12th January 2017) Authors: STEFAN, DEIAN; MAZIÈRES, DAVID; MITCHELL, JOHN C.; RUSSO, ALEJANDRO Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
104. Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM. (6th March 2023) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 33(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
105. Folding left and right matters: Direct style, accumulators, and continuations. (14th February 2023) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 33(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
106. Folding left and right over Peano numbers. (17th April 2019) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
107. Folding left and right over Peano numbers. (2019) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
108. Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant. (29th September 2022) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 32(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
109. Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm. (2015) Authors: ARANSAY, JESÚS; DIVASÓN, JOSE Journal: Journal of functional programming Issue: Volume 25(2015) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
110. Foundations of dependent interoperability. (13th March 2018) Authors: DAGAND, PIERRE-ÉVARISTE; TABAREAU, NICOLAS; TANTER, ÉRIC Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗