http://reply.papertrans.cn/2/170/16946/16946-11.png
Submitted on: 15 January 2000.
Revised on: 12 March 2000.
Accepted on: 09 April 2000.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
http://reply.papertrans.cn/2/170/16946/16946-13.png
Submitted on: 02 March 2008.
Revised on: 04 May 2008.
Accepted on: 20 June 2008.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
Submitted on: 08 October 2012.
Revised on: 04 December 2012.
Accepted on: 23 January 2013.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
http://reply.papertrans.cn/2/170/16946/16946-16.png
http://reply.papertrans.cn/2/170/16946/16946-17.png
Submitted on: 12 February 2002.
Revised on: 13 May 2002.
Accepted on: 12 June 2002.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
Submitted on: 10 June 2014.
Revised on: 30 July 2014.
Accepted on: 20 September 2014.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
Submitted on: 02 August 2022.
Revised on: 14 September 2022.
Accepted on: 19 October 2022.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING