MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Neil Mitchell" – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Deriving Generic Functions by Example
by Neil Mitchell
…Deriving Generic Functions by Example Neil Mitchell University of York, UK http…
Add To MetaCart

Mesa Language
by Neil Mitchell — 1979
… matching Neil Mitchell ∗ University of York, UK http://www.cs.york.ac.uk/~ndm/ We describe an automated…
Cited by 1 (0 self) – Add To MetaCart

Unfailing Haskell: A static checker for pattern matching
by Neil Mitchell, Colin Runciman — 2005 — In TFP ’05: The 6th Symposium on Trends in Functional Programming
…Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http…
Cited by 4 (0 self) – Add To MetaCart

Supero: Making Haskell faster
by Neil Mitchell, Colin Runciman — 2007 — In Proc. IFL 2007
…Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http…
Cited by 1 (1 self) – Add To MetaCart

Yhc.Core - from Haskell to Core
by Dimitry Golubovsky, Neil Mitchell, Matthew Naylor — 2007 — The Monad.Reader
…Yhc.Core – from Haskell to Core by Dimitry Golubovsky 〈golubovsky@(email omitted);〉 and Neil Mitchell…
Cited by 5 (5 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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