MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Haskell Is Not Not ML." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

139 documents found, showing 1 through 10. Next 10 →

ATOM

Functional programming languages for verification tools: experiences with ML and Haskell
by Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber, Lehrstuhl Fur Informatik Ii, Rwth Aachen — 2001
…Functional programming languages for verification tools: experiences with ML and Haskell Martin…
Cited by 1 (0 self) – Add To MetaCart

Functional programming languages for verification tools: experiences with ML and Haskell
by Martin Leucker Thomas, Thomas Noll, Perdita Stevens, Michael Weber, Lehrstuhl Fur Informatik Ii, Rwth Aachen — 2001
…Functional programming languages for verification tools: experiences with ML and Haskell Martin…
Add To MetaCart

Wobbly Types: Type Inference for Generalised Algebraic Data Types
by Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich — 2004
… types of Haskell and ML. Recent works have given compelling examples of the utility of GADTs, although…
Cited by 38 (2 self) – Add To MetaCart

A Simple Take on Typed Abstract Syntax in Haskell-like Languages
by Oliver Danvy, Olivier Danvy, Morten Rhiger, Morten Rhiger — 2000 — In Proceedings of the 5th International Symposium on Functional and Logic Programming (FLOPS ’01
… Hindley-Milner typing discipline, such as Haskell and ML, and we apply it to automate two proofs about…
Cited by 7 (4 self) – Add To MetaCart

Simple unification-based type inference for GADTs
by Simon Peyton Jones — 2006
…” or “first-class phantom types”, are a simple but powerful generalization of the data types of Haskell and ML…
Cited by 65 (12 self) – Add To MetaCart

A framework for extended algebraic data types
by Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey — 2006 — In Proc. of FLOPS’06, volume 3945 of LNCS
… such as Haskell and ML. 1 Introduction Algebraic data types enable the programmer to write functions which pattern…
Cited by 18 (9 self) – Add To MetaCart

Partial Vectorisation of Haskell Programs
by Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller
… fully-fledged functional language, such as Haskell or ML. A concrete implementation needs to apply…
Cited by 2 (2 self) – Add To MetaCart

Type Parametric Programming
by Tim Sheard — 1993
…, Haskell, and ML. This mechanism allows the definition and use of high level abstractions not possible…
Cited by 13 (6 self) – Add To MetaCart

Type Parametric Programming
by Tim Sheard Pacific, Tim Sheard — 1993
…, Haskell, and ML. This mechanism allows the definition and use of high level abstractions not possible…
Add To MetaCart

Object-Oriented Extensions of HOL
by Norbert Volker
… for the integration of records and objects into functional programming languages such as Haskell and ML. The purpose…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB