Paul Hudak, John Peterson, and Joseph H. Fasel. A Gentle Introduction to Haskell -- Version 1.4, March 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Algorithm for Checking the Disjointness of Types - Widera (2001) (Correct)
....cases where the type inferred for a contains at least one value f is not applicable to according to its type, e.g. if the type inferred for a is int, but f just expects posint. This sound approach to type checking can be used in the following ways: In a strictly typed language as e.g. Haskell [6] the type checker prevents ill typed programs from execution. It is integrated in the language de nition excluding illtyped programs from the set of valid programs. When using a sound static type checker for a dynamically typed functional language the set of valid programs in the language is ....
P. Hudak, J. Peterson, and J. H. Fasel. A Gentle Introduction to Haskell { Version 1.4 {, Mar. 1997.
Adding Functional Programming into the Holo Language - Bois, Barbosa, Geyer (2001) (Correct)
....language has been used by many developers of declarative languages as a platform for language implementation. The functional programming community gives us many examples of this approach. For example, there are many compilers for the state of the art functional programming language Haskell [20], that use Java as target code. In Wakeling s works [30 32] he implements a runtime system for functional languages in Java and than compiles Haskell programs to Java classes that uses this system. In Du Bois work [13] he uses the same approach to generate JavaBeans components from functional ....
Hudak, P.; Peterson, J.; Fasel, J. H. A Gentle Introduction to Haskell - Version
Chapter 14 - Detecting Common Elements (2000) (Correct)
No context found.
Paul Hudak, John Peterson, and Joseph H. Fasel. A Gentle Introduction to Haskell -- Version 1.4, March 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC