Search for Author All Reviews
	Tarau, Paul     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       On a uniform representation of combinators, arithmetic, lambda terms and types Tarau P.  PPDP 2015 (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, Jul 14-16, 2015) 244-255, 2015.  Type: Proceedings The dream of a common language is strong, as are the benefits claimed for realizing the dream. This paper describes a binary tree representation capable of describing combinators, their types, lambda expressions, and natural numbers. T...... Sep 8 2015     Exact combinational logic synthesis and non-standard circuit design Tarau P., Luderman B.  Computing frontiers (Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italy, May 5-7, 2008) 179-188, 2008.  Type: Proceedings It is a common belief among engineers that symmetric operations are better for combinational logic synthesis. The authors here suggest that asymmetrical operators {<, =>} have better expressiveness, based on experimental ...... Jun 26 2008     Blackboard-based extensions in Prolog De Bosschere K., Tarau P. Software--Practice & Experience 26(1): 49-69, 1996.  Type: Article Blackboards are a powerful form of communication based on the availability of a global data structure that can be accessed by any process in a controlled way. The use of blackboards results in a parallel language that exploits coarse-g...... Jan 1 1997
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy