Skip to content

Research at St Andrews

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. Version 1.2 1st March 1992

Research output: Contribution to journalArticle

Author(s)

P HUDAK, S P JONES, P WADLER, B BOUTEL, J FAIRBAIRN, J FASEL, M M GUZMAN, Kevin Hammond, J HUGHES, T JOHNSSON, D KIEBURTZ, R NIKHIL, W PARTAIN, J PETERSON

School/Research organisations

Details

Original languageEnglish
Pages (from-to)R1-R163
Number of pages163
JournalACM SIGPLAN Notices
Volume27
Issue number5
StatePublished - May 1992

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by journal

  1. Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER

    Batty, M., Memarian, K., Owens, S., Sarkar, S. & Sewell, P. Jan 2012 In : ACM SIGPLAN Notices. 47, 1, p. 509-520 12 p.

    Research output: Contribution to journalArticle

  2. Synchronising C/C plus plus and POWER

    Sarkar, S., Memarian, K., Owens, S., Batty, M., Sewell, P., Maranget, L., Alglave, J. & Williams, D. Jun 2012 In : ACM SIGPLAN Notices. 47, 6, p. 311-321 11 p.

    Research output: Contribution to journalArticle

  3. Mathematizing C++ Concurrency

    Batty, M., Owens, S., Sarkar, S., Sewell, P. & Weber, T. Jan 2011 In : ACM SIGPLAN Notices. 46, 1, p. 55-66 12 p.

    Research output: Contribution to journalArticle

  4. Understanding POWER Multiprocessors

    Sarkar, S., Sewell, P., Alglave, J., Maranget, L. & Williams, D. Jun 2011 In : ACM SIGPLAN Notices. 46, 6, p. 175-186 12 p.

    Research output: Contribution to journalArticle

  5. The Semantics of x86-CC Multiprocessor Machine Code

    Sarkar, S., Sewell, P., Nardelli, F. Z., Owens, S., Ridge, T., Braibant, T., Myreen, M. O. & Alglave, J. Jan 2009 In : ACM SIGPLAN Notices. 44, 1, p. 379-391 13 p.

    Research output: Contribution to journalArticle

ID: 4509849