by Lee, Chin Soon
Published in ACM transactions on programming languages and systems (01.04.2009)

by AVERY, James
Published in Lecture notes in computer science (2006)

by Liehuo Chen, Kyoung-Don Kang
Published in 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems (01.08.2015)

by Pavlinovic, Zvonimir, King, Tim, Wies, Thomas
Year of Publication 27.08.2015

by ADAMS, ROBIN
Published in Journal of functional programming (01.03.2006)

by Rocca, Simona Ronchi della, Roversi, Luca
Published in Studia logica (01.11.1997)

by van Bakel, Steffen
Published in Electronic notes in theoretical computer science (19.07.2005)

by WELLS, J. B., DIMOCK, ALLYN, MULLER, ROBERT, TURBAK, FRANKLYN
Published in Journal of functional programming (01.05.2002)

by DAVID, R., MOUNIER, G.
Published in Journal of functional programming (01.01.2005)

by Campbell, Brian
Year of Publication 2008

by Lambert, Tim, Lindsay, Peter, Robinson, Ken
Published in Journal of functional programming (01.01.1993)

by Chlipala, Adam
Published in Certified Programming with Dependent Types (2013)

by CROLARD, TRISTAN
Published in Journal of functional programming (01.11.1999)

by DAVID, R, MOUNIER, G
Published in Journal of functional programming (01.01.2005)

by KAPLAN, Haim, OKASAKI, Chris, TARJAN, Robert E
Published in SIAM journal on computing (2001)

by BIRD, RICHARD S.
Published in Journal of functional programming (01.05.2001)

by Bird, Richard
Published in Journal of functional programming (01.05.1999)

by Glück, Robert
Published in Journal of functional programming (01.10.1994)

by Barthe, Gilles
Published in Information and computation (25.02.1999)

by Cardelli, Luca, Longo, Giuseppe
Published in Journal of functional programming (01.10.1991)