Search for Author All Reviews
	Thompson, Simon     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       Haskell: the craft of functional programming (3rd ed.) Thompson S., Addison-Wesley Publishing Company, Harlow, UK, 2011. 528 pp.  Type: Book (978-0-201882-95-7) Functional programming--a fertile area of computer science research admired for its mathematical elegance--has become practical for software development thanks to ever-growing advances in hardware and in compiler desi...... May 11 2012     Mexitl: multimedia in executable interval temporal logic Bowman H., Cameron H., King P., Thompson S. Formal Methods in System Design 22(1): 5-38, 2003.  Type: Article This paper uses an interval temporal logic (ITL) formalism to describe multimedia document constraints, especially those arising from audio and video, based on earlier work by King. This is interesting and innovative....... Jun 11 2004     Type theory and functional programming Thompson S., Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1991.  Type: Book (9780201416671) Writing a book on constructive type theory is a daunting task, because the subject draws on ideas from many disciplines--computer science, mathematics, logic, and philosophy. This task is doubly challenging for a book aimed at...... Dec 1 1992
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy