Quick Search:

Cite Search:

Home> Journal of Functional Programming> Vol. 18 Issue 02

Log In

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

567,269 articles from 321 leading journals.

Editor(s):
Matthias Felleisen, Northeastern University, USA
Xavier Leroy, INRIA Rocquencourt, France

Sort by

Next Issue


	Please select Articles below or use Select All, then click the appropriate button above.	Select/Deselect All:
	Articles
	A type system with usage aspects DAVID ASPINALL, MARTIN HOFMANN and MICHAL KONEČNÝ Journal of Functional Programming, Volume 18, Issue 02, March 2008, pp 141-178 doi:10.1017/S0956796807006399 (About doi), Published Online by Cambridge University Press 05 Jul 2007 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
	Types and trace effects of higher order programs CHRISTIAN SKALKA, SCOTT SMITH and DAVID VAN HORN Journal of Functional Programming, Volume 18, Issue 02, March 2008, pp 179-249 doi:10.1017/S0956796807006466 (About doi), Published Online by Cambridge University Press 05 Jul 2007 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
	HM(X) type inference is CLP(X) solving MARTIN SULZMANN and PETER J. STUCKEY Journal of Functional Programming, Volume 18, Issue 02, March 2008, pp 251-283 doi:10.1017/S0956796807006569 (About doi), Published Online by Cambridge University Press 13 Sep 2007 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
	Please select Articles above or use Select All, then click the appropriate button below.	Select/Deselect All:

Sort by