Functional correctness -- Haskell-ing your way to reliable code
Hackover 2024 · 2024
Presenter: Unknown in imported source
Attributed source ↗ · Plaintext record
CCC recording catalog. Title: source supplied. Credit: unknown in imported source. Delivery: Not independently verified.
Source date value: 2024-08-02T19:00:00.000+02:00. This is retained as source metadata; recording dates or placeholder timestamps do not establish a session’s actual date.
Rights: Metadata and source links only; abstracts, biographies, transcripts and media not republished
Research dataset: Lukas Walter, Clemens Sauerwein, Daniel Woods, InfoSec.pptx, https://doi.org/10.5281/zenodo.15989593, CC BY 4.0 https://creativecommons.org/licenses/by/4.0/. Changes: metadata extraction, exact-match reconciliation and uncertainty flags. No endorsement implied.
Inspect structured metadata and provenance
{
"id": "ccc-9bebe4cc-ab2f-5dab-ab17-d3be364a2702",
"title": "Functional correctness -- Haskell-ing your way to reliable code",
"presenters": [
],
"event": "Hackover 2024",
"year": "2024",
"source_url": "https://media.ccc.de/v/hackover24-37-functional-correctness-haskell-ing-your-way-to-reliable-code",
"source_kind": "CCC recording catalog",
"source_file": "ccc-hackover2024.json",
"rights": "Metadata and source links only; abstracts, biographies, transcripts and media not republished",
"delivery_status": "Not independently verified",
"title_status": "source supplied",
"presenter_status": "unknown in imported source",
"media": [
{
"kind": "recording page",
"url": "https://media.ccc.de/v/hackover24-37-functional-correctness-haskell-ing-your-way-to-reliable-code"
}
],
"provenance": [
{
"event": "hackover2024",
"title": "Hackover 2024",
"source": "https://api.media.ccc.de/public/conferences/hackover2024",
"file": "ccc-hackover2024.json",
"sha256": "465e745a1d01f40ec584b2dcd6c95a318b7d61d6e95b869cc11a444ca3a28d2d",
"checked": "2026-10-16T03:46:59Z",
"source_records": 4
}
],
"source_guid": "9bebe4cc-ab2f-5dab-ab17-d3be364a2702",
"source_event_api": "https://api.media.ccc.de/public/events/9bebe4cc-ab2f-5dab-ab17-d3be364a2702",
"date": "2024-08-02T19:00:00.000+02:00",
"duration_seconds": 3495,
"language": "eng",
"tags": [
"37",
"2024",
"hackover2024",
"Raum 1.7",
"hackover2024-eng",
"hackover24",
"Day 1"
],
"event_acronym": "hackover2024",
"source_schedule_url": ""
}