131. Interactive programming in Agda – Objects and graphical user interfaces. (2017) Authors: ABEL, ANDREAS; ADELSBERGER, STEPHAN; SETZER, ANTON 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) ↗
132. Interactive programming in Agda – Objects and graphical user interfaces. (6th February 2017) Authors: ABEL, ANDREAS; ADELSBERGER, STEPHAN; SETZER, ANTON 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) ↗
133. Interleaving data and effects. (20th November 2015) Authors: ATKEY, ROBERT; JOHANN, PATRICIA 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) ↗
134. Iris from the ground up: A modular foundation for higher-order concurrent separation logic. (2018) Authors: JUNG, RALF; KREBBERS, ROBBERT; JOURDAN, JACQUES-HENRI; BIZJAK, ALEŠ; BIRKEDAL, LARS; DREYER, DEREK 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) ↗
135. Iris from the ground up: A modular foundation for higher-order concurrent separation logic. (22nd November 2018) Authors: JUNG, RALF; KREBBERS, ROBBERT; JOURDAN, JACQUES-HENRI; BIZJAK, ALEŠ; BIRKEDAL, LARS; DREYER, DEREK 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) ↗
136. Is sized typing for Coq practical?. (24th January 2023) Authors: CHAN, JONATHAN; LI, YUFENG; BOWMAN, WILLIAM J. 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) ↗
137. Iterating on multiple collections in synchrony. (5th July 2022) Authors: PERNA, STEFANO; TANNEN, VAL; WONG, LIMSOON 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) ↗
138. JFP volume 23 issue 6 Cover and Back matter. Issue 6 (8th January 2014) Journal: Journal of functional programming Issue: Volume 23:Issue 6(2013) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. JFP volume 23 issue 6 Cover and Front matter. Issue 6 (8th January 2014) Journal: Journal of functional programming Issue: Volume 23:Issue 6(2013) Page Start: f1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. JFP volume 24 issue 1 Cover and Back matter. Issue 1 (16th April 2014) Journal: Journal of functional programming Issue: Volume 24:Issue 1(2014) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗