Semantic Scholar uses AI to extract papers important to this topic.
We give a method for proving congruence of bisimulation-like equivalences in functional programming languages. The method applies… Expand The use of monads to structure functional programs is de- scribed. Monads provide a convenient framework for simulating eects… Expand This paper explores the use monads to structure functionalprograms. No prior knowledge of monads or category theory isrequired… Expand The use of monads to structure functional programs is de scribed Monads provide a convenient framework for simulating e ects… Expand We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For… Expand As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy… Expand From the Publisher:
This is a thorough introduction to the fundamental concepts of functional programming.
The book clearly… Expand From the Publisher:
Written by Bjarne Stroustrup, the creator of C, this is the world's most trusted and widely read book on C… Expand Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level… Expand Briefly describes frame systems as a formalism for representing knowledge and then concentrates on the issue of what the content… Expand