Back to Results
First PageMeta Content
Functional languages / Procedural programming languages / Functional programming / Higher-order functions / Type theory / Standard ML / Agda / Type class / Map / Software engineering / Computing / Computer programming


Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride
Add to Reading List

Document Date: 2013-06-15 06:02:53

Open Document

File Size: 305,28 KB

Share Result on Facebook

Company

Section 7 / GE / /

/

Facility

Dependently Typed Haskell Programming Sam Lindley Conor McBride University of Strathclyde sam.lindley@strath.ac.uk University / Singletons library / Glasgow Haskell headquarters / /

IndustryTerm

normalization algorithm / implicit proof search mechanism / vappend xs ys Online code All / proof search / venerable program extraction algorithm / /

Organization

University of Strathclyde / /

Person

Nat / Adam Gundry / Simon Peyton Jones / Richard Eisenberg / Stephanie Weirich / Pedro Magalh˜aes / Sam Lindley Conor / /

Position

singleton representative / basic text editor / editor / representative / screen editor / n An Editor / second author / text editor / /

Product

Haskell / /

ProgrammingLanguage

Haskell / Standard ML / /

Technology

venerable program extraction algorithm / normalization algorithm / Cmp / /

SocialTag