Submitted on: 12 April 2012.
Revised on: 24 July 2012.
Accepted on: 27 August 2012.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
http://reply.papertrans.cn/2/170/16946/16946-22.png
Submitted on: 16 May 2003.
Revised on: 15 August 2003.
Accepted on: 02 October 2003.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
Submitted on: 29 August 2012.
Revised on: 08 October 2012.
Accepted on: 21 November 2012.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
Submitted on: 27 April 2012.
Revised on: 07 July 2012.
Accepted on: 26 August 2012.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
http://reply.papertrans.cn/2/170/16946/16946-26.png
Submitted on: 04 March 2000.
Revised on: 08 June 2000.
Accepted on: 26 June 2000.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
http://reply.papertrans.cn/2/170/16946/16946-28.png
Submitted on: 20 October 2022.
Revised on: 21 November 2022.
Accepted on: 09 January 2023.
___________________JOURNAL OF FUNCTIONAL PROGRAMMING
http://reply.papertrans.cn/2/170/16946/16946-30.png