Skip to main content
×
×
Home

4 Declarations and Bindings

  • SIMON PEYTON JONES
Extract

4.1 Overview of Types and Classes  40

4.2 User-Defined datatypes  45

4.3 Type Classes and Overloading  49

4.4 Nested Declarations  55

4.5 Static Semantics of Function and Pattern Bindings  60

4.6 Kind Inference  66

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Journal of Functional Programming
  • ISSN: 0956-7968
  • EISSN: 1469-7653
  • URL: /core/journals/journal-of-functional-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 6 *
Loading metrics...

Abstract views

Total abstract views: 36 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 12th June 2018. This data will be updated every 24 hours.

4 Declarations and Bindings

  • SIMON PEYTON JONES
Submit a response

Discussion

No Discussion have been published for this article.

×

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *