251. The essence of ornaments. (2017) Authors: DAGAND, PIERRE-EVARISTE 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) ↗
252. The essence of ornaments. (6th February 2017) Authors: DAGAND, PIERRE-EVARISTE 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) ↗
253. The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus. (2019) Authors: GARCÍA-PÉREZ, ÁLVARO; NOGUEIRA, PABLO 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) ↗
254. The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus. (29th April 2019) Authors: GARCÍA-PÉREZ, ÁLVARO; NOGUEIRA, PABLO 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) ↗
255. The Kansas University rewrite engine. Issue 4 (July 2014) Authors: SCULTHORPE, NEIL; FRISBY, NICOLAS; GILL, ANDY Journal: Journal of functional programming Issue: Volume 24:Issue 4(2014) Page Start: 434 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
256. The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. Issue 4 (3rd July 2014) Authors: SCULTHORPE, NEIL; FRISBY, NICOLAS; GILL, ANDY Journal: Journal of functional programming Issue: Volume 24:Issue 4(2014) Page Start: 434 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
257. The verified CakeML compiler backend. (4th February 2019) Authors: KIAM TAN, YONG; MYREEN, MAGNUS O.; KUMAR, RAMANA; FOX, ANTHONY; OWENS, SCOTT; NORRISH, MICHAEL 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) ↗
258. Tight typings and split bounds, fully developed. (19th May 2020) Authors: ACCATTOLI, BENIAMINO; GRAHAM-LENGRAND, STÉPHANE; KESNER, DELIA Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
259. Transparent fault tolerance for scalable functional computation. (17th March 2016) Authors: STEWART, ROBERT; MAIER, PATRICK; TRINDER, PHIL Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
260. Transparent fault tolerance for scalable functional computation. (2016) Authors: STEWART, ROBERT; MAIER, PATRICK; TRINDER, PHIL Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗