Programming in an Integrated Functional and Logic Language

Programming in an Integrated Functional and Logic Language (1999)

by J. W. Lloyd , Y. Guo , M. Hagiya

Citations:

63 - 14 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Programming in an Integrated Functional and Logic Language	user correction - Legacy Corrections
AUTHOR NAME	J. W. Lloyd	user correction - Legacy Corrections
AUTHOR NAME	Y. Guo	user correction - Legacy Corrections
AUTHOR NAME	M. Hagiya	user correction - Legacy Corrections
ABSTRACT	Escher is a general-purpose, declarative programming language that integrates the best features of both functional and logic programming languages. It has types and modules, higher-order and meta-programming facilities, concurrency, and declarative input/output. The main design aim is to combine in a practical and comprehensive way the best ideas of existing functional and logic languages, such as Haskell and Godel. In fact, Escher uses the Haskell syntax and is most straightforwardly understood as an extension of Haskell. Consequently, this paper discusses Escher from this perspective. It provides an introduction to the Escher language, concentrating largely on the issue of programming style and the Escher programming idioms not provided by Haskell. Also the extra mechanisms needed to support these idioms are discussed.	user correction - Legacy Corrections
YEAR	1999	user correction - Legacy Corrections
CITATIONS	20 found	ParsCit 1.0