{ "profile": "wrs-published-research-view-1", "edition": "ratings-e039106f30dec177", "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS", "entry": { "id": "peyton-jones-et-al-haskell-98-report-1999", "title": "Peyton Jones and colleagues: Haskell 98 language and libraries", "summary": "Specified Haskell 98 as a stable, non-strict, purely functional programming language together with its standard libraries, syntax, static semantics and core language behavior.", "boundary": "The record is the official 18-author report published in February 1999. It does not absorb the 1987 language-design initiative, Haskell 1.0, compiler implementations, the revised 2002/2003 report or every acknowledged contributor.", "area": "Programming languages and compilers", "year": 1999, "lane": "HUMAN", "result": "FORMALIZATION", "package_id": "peyton-jones-et-al-haskell-98-report-1999", "target": { "record_id": "urn:uuid:54b1648d-7762-4d89-ab7d-0a7e16365967", "version": 1, "content_hash": "sha256:8ae879f9cbef5bf574bd3531a59eb747b75ef618477949eeaded0fa24a0f7d63" }, "humans": [ "Simon Peyton Jones", "Lennart Augustsson", "Dave Barton", "Brian Boutel", "Warren Burton", "Joseph Fasel", "Kevin Hammond", "Ralf Hinze", "Paul Hudak", "John Hughes", "Thomas Johnsson", "Mark Jones", "John Launchbury", "Erik Meijer", "John Peterson", "Alastair Reid", "Colin Runciman", "Philip Wadler" ], "authors_complete": true, "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.", "agents": [], "related": [], "subresults": [], "scientific_assessment": { "source_review": "SOURCE_CURATED", "scientific_review": "NOT_REVIEWED_BY_WRS", "formal_replay": "NOT_RUN", "provider_attestation": "NONE" }, "sources": [ { "id": "haskell-98-online-report", "title": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" }, { "id": "haskell-official-definition-history", "title": "Official Haskell language definition archive", "url": "https://www.haskell.org/definition/" } ], "geography": { "country_codes": [ "GB", "SE", "NZ", "CA", "US", "DE", "NL" ], "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.", "source_url": "https://www.haskell.org/definition/original-haskell98-report-html.tar.gz", "target": { "record_id": "urn:uuid:54b1648d-7762-4d89-ab7d-0a7e16365967", "version": 1, "content_hash": "sha256:8ae879f9cbef5bf574bd3531a59eb747b75ef618477949eeaded0fa24a0f7d63" }, "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION", "reviewed_on": "2026-09-26", "nationality_inferred": false, "sources": [ { "title": "Attribution source", "url": "https://www.haskell.org/definition/original-haskell98-report-html.tar.gz" }, { "title": "Attribution source", "url": "https://citeseerx.ist.psu.edu/document?doi=95ab87c0459669fa811be6f87f8a308a8dac219e&repid=rep1&type=pdf" } ], "coverage_status": "COMPLETE", "country_labels": { "GB": "United Kingdom", "SE": "Sweden", "NZ": "New Zealand", "CA": "Canada", "US": "United States", "DE": "Germany", "NL": "Netherlands" } }, "points": "65000", "published_grade": { "id": "peyton-jones-et-al-haskell-98-report-1999", "entry_id": "peyton-jones-et-al-haskell-98-report-1999", "band": "B", "modifier": "+", "target": { "record_id": "urn:uuid:54b1648d-7762-4d89-ab7d-0a7e16365967", "version": 1, "content_hash": "sha256:8ae879f9cbef5bf574bd3531a59eb747b75ef618477949eeaded0fa24a0f7d63" }, "what_changed": "Specified stable Haskell 98 language and standard libraries.", "scope": "The record is the official 18-author report published in February 1999. It does not absorb the 1987 language-design initiative, Haskell 1.0, compiler implementations, the revised 2002/2003 report or every acknowledged contributor.", "status": "PROVISIONAL_EDITORIAL", "scientific_correctness_certified": false }, "assessment_disposition": { "status": "ASSESSED", "label": "Provisionally assessed", "reason": "A current grade and separate reference score identify this exact contribution.", "target": { "record_id": "urn:uuid:54b1648d-7762-4d89-ab7d-0a7e16365967", "version": 1, "content_hash": "sha256:8ae879f9cbef5bf574bd3531a59eb747b75ef618477949eeaded0fa24a0f7d63" }, "edition": "ratings-e039106f30dec177" } }, "version": { "kind": "PUBLIC_RECORD_VIEW", "previous": null, "published_at": "2026-09-25T00:00:00Z", "publisher": { "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33", "role": "WRS_EDITORIAL_PUBLICATION" }, "record": { "contributors": [ { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Simon Peyton Jones", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Lennart Augustsson", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Dave Barton", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Brian Boutel", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Warren Burton", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Joseph Fasel", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Kevin Hammond", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Ralf Hinze", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Paul Hudak", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "John Hughes", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Thomas Johnsson", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Mark Jones", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "John Launchbury", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Erik Meijer", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "John Peterson", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Alastair Reid", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Colin Runciman", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Philip Wadler", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "formalizer" ], "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } } ], "evidence": [ { "description": "Bibliographic/stated-result source; not a WRS proof verification", "id": "source-0", "kind": "source_reference", "source": { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" } }, { "description": "Bibliographic/stated-result source; not a WRS proof verification", "id": "source-1", "kind": "source_reference", "source": { "citation": "Official Haskell language definition archive", "url": "https://www.haskell.org/definition/" } } ], "origin": "HUMAN_LEGACY", "record_profile": "wrs-local-research-notes-0.1", "record_type": "research_note", "rrp_version": "0.1", "scope": { "description": "The record is the official 18-author report published in February 1999. It does not absorb the 1987 language-design initiative, Haskell 1.0, compiler implementations, the revised 2002/2003 report or every acknowledged contributor.", "domain": "Programming languages and compilers" }, "sources": [ { "citation": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/" }, { "citation": "Official Haskell language definition archive", "url": "https://www.haskell.org/definition/" } ], "statement": "# Peyton Jones and colleagues: Haskell 98 language and libraries\n\nSpecified Haskell 98 as a stable, non-strict, purely functional programming language together with its standard libraries, syntax, static semantics and core language behavior.\n\n## Scientific scope\n\nThe record is the official 18-author report published in February 1999. It does not absorb the 1987 language-design initiative, Haskell 1.0, compiler implementations, the revised 2002/2003 report or every acknowledged contributor.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nSimon Peyton Jones; Lennart Augustsson; Dave Barton; Brian Boutel; Warren Burton; Joseph Fasel; Kevin Hammond; Ralf Hinze; Paul Hudak; John Hughes; Thomas Johnsson; Mark Jones; John Launchbury; Erik Meijer; John Peterson; Alastair Reid; Colin Runciman; Philip Wadler\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [Official Haskell 98 report](https://www.haskell.org/onlinereport/)\n- [Official Haskell language definition archive](https://www.haskell.org/definition/)\n", "summary": "Specified Haskell 98 as a stable, non-strict, purely functional programming language together with its standard libraries, syntax, static semantics and core language behavior.", "title": "Peyton Jones and colleagues: Haskell 98 language and libraries" }, "record_id": "urn:uuid:54b1648d-7762-4d89-ab7d-0a7e16365967", "version": 1, "source_ref": { "record_id": "urn:uuid:54b1648d-7762-4d89-ab7d-0a7e16365967", "version": 1, "content_hash": "sha256:8ae879f9cbef5bf574bd3531a59eb747b75ef618477949eeaded0fa24a0f7d63" }, "export_view": "wrs-public-editorial-view-1", "public_view_hash": "sha256:70480a118407a335259837cb1c9daed3913320de01ca07b148d27b0ad7dac178" }, "target": { "record_id": "urn:uuid:54b1648d-7762-4d89-ab7d-0a7e16365967", "version": 1, "content_hash": "sha256:8ae879f9cbef5bf574bd3531a59eb747b75ef618477949eeaded0fa24a0f7d63" }, "published_grade": { "profile": "wrs-published-grade-1", "edition": "2026-10-28.1", "id": "peyton-jones-et-al-haskell-98-report-1999", "entry_id": "peyton-jones-et-al-haskell-98-report-1999", "revision": 1, "title": "Peyton Jones and colleagues: Haskell 98 language and libraries", "context": "Functional languages", "track": "STANDARD", "band": "B", "modifier": "+", "status": "PROVISIONAL_EDITORIAL", "assessed_on": "2026-09-25", "evidence_cutoff": "2026-09-25", "achievement_state": "SUPPORTED_SCOPED_RESULT", "what_changed": "Specified stable Haskell 98 language and standard libraries.", "scope": "The record is the official 18-author report published in February 1999. It does not absorb the 1987 language-design initiative, Haskell 1.0, compiler implementations, the revised 2002/2003 report or every acknowledged contributor.", "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the official 18-author report published in February 1999. It does not absorb the 1987 language-design initiative, Haskell 1.0, compiler implementations, the revised 2002/2003 report or every acknowledged contributor.", "references": [ { "title": "Official Haskell 98 report", "url": "https://www.haskell.org/onlinereport/", "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work." }, { "title": "Official Haskell language definition archive", "url": "https://www.haskell.org/definition/", "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work." } ], "roles": [ { "who": "The named authors listed in the linked research record", "credit": "SCIENCE", "did": "Complete source byline retained in the research record; this collective display does not merge person identities or measure labor shares." } ], "target": { "record_id": "urn:uuid:54b1648d-7762-4d89-ab7d-0a7e16365967", "version": 1, "content_hash": "sha256:8ae879f9cbef5bf574bd3531a59eb747b75ef618477949eeaded0fa24a0f7d63" }, "scientific_correctness_certified": false, "independent_expert_calibration": false, "method": "PROPRIETARY", "points": "65000" }, "canonical_agent_submission": false, "scientific_verification_awarded": false, "reader_guide": null, "reading_status": "SOURCE_LINKED_NOTE" }