Trends in functional programming. 14th international symposium, TFP 2013, Provo, UT, USA, May 14--16, 2013. Revised selected papers

DOI10.1007/978-3-642-45340-3zbMath1278.68031OpenAlexW4205435528MaRDI QIDQ385984

No author found.

Publication date: 13 December 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45340-3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Functional programming and lambda calculus (68N18) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Algebraic-coalgebraic recursion theory of history-dependent dynamical system models

This page was built for publication: Trends in functional programming. 14th international symposium, TFP 2013, Provo, UT, USA, May 14--16, 2013. Revised selected papers