Journal: Journal of functional programming - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Journal of functional programming

271. Well-founded recursion with copatterns and sized types. (2016)

Authors:: ABEL, ANDREAS; PIENTKA, BRIGITTE
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) ↗

272. Well-founded recursion with copatterns and sized types. (3rd March 2016)

Authors:: ABEL, ANDREAS; PIENTKA, BRIGITTE
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) ↗

273. What is an education paper?. (12th July 2021)

Authors:: KRISHNAMURTHI, SHRIRAM
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) ↗

274. Work it, wrap it, fix it, fold it. Issue 1 (16th April 2014)

Authors:: SCULTHORPE, NEIL; HUTTON, GRAHAM
Journal:: Journal of functional programming
Issue:: Volume 24:Issue 1(2014)
Page Start:: 113
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗