Search for Author All Reviews
	Asperti, Andrea     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews        Computational complexity via finite types Asperti A. ACM Transactions on Computational Logic 16(3): 1-25, 2015.  Type: Article Undergraduate-level computer science can feel disjointed at times: for example, at that level, one feels that operating systems and programming languages are entirely separate subdisciplines, whose practitioners have apparently never s...... Sep 1 2015     The optimal implementation of functional programming languages Asperti A., Guerrini S., Cambridge University Press, New York, NY, 1998.  Type: Book (9780521621120) Optimal reduction is an innovative graph reduction technique for functional expressions that solves the sharing problem. This is an unusual book that will interest the functional programming community....... Feb 1 2000     Categories, types, and structures Asperti A., Longo G., MIT Press, Cambridge, MA, 1991.  Type: Book (9780262011259) About 35 years ago I had a discussion with some graduate students at my alma mater about problems I was having formulating questions about function composition in relationship to Algol. They said that little was understood about such g...... Nov 1 1993
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy