211. Proof-producing translation of higher-order logic into pure and stateful ML. Issue 2 (20th January 2014) Authors: MYREEN, MAGNUS O.; OWENS, SCOTT Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 284 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
212. Proof-producing translation of higher-order logic into pure and stateful ML. Issue 2 (May 2014) Authors: MYREEN, MAGNUS O.; OWENS, SCOTT Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 284 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
213. Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. (10th May 2018) Authors: COCKX, JESPER; DEVRIESE, DOMINIQUE 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) ↗
214. Propositions as sessions*. Issue 2 (31st January 2014) Authors: WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 384 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
215. Propositions as sessions*. Issue 2 (May 2014) Authors: WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 384 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
216. Protocol combinators for modeling, testing, and execution of distributed systems. (15th February 2021) Authors: ANDERSEN, KRISTOFFER JUST ARNDAL; SERGEY, ILYA Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
217. Pure iso-type systems. (2019) Authors: YANG, YANPENG; OLIVEIRA, BRUNO C. D. S. 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) ↗
218. Pure type systems with explicit substitutions. (9th November 2015) Authors: FRIDLENDER, DANIEL; PAGANO, MIGUEL 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) ↗
219. Push versus pull-based loop fusion in query engines. (10th April 2018) Authors: SHAIKHHA, AMIR; DASHTI, MOHAMMAD; KOCH, CHRISTOPH 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) ↗
220. Pushdown flow analysis with abstract garbage collection. Issue 2 (21st May 2014) Authors: JOHNSON, J. IAN; SERGEY, ILYA; EARL, CHRISTOPHER; MIGHT, MATTHEW; VAN HORN, DAVID Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 218 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗