hansdieterhiep.nl: 5 stories from 1 submitter

  1. 4
    Correctness of Two Sorting Algorithms formalmethods hansdieterhiep.nl
    praalhans avatar authored by praalhans 14 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 4
    Can ChatGPT do an exam? ai education hansdieterhiep.nl
    praalhans avatar authored by praalhans 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  3. 4
    Debugging Church Numerals in Haskell compsci haskell hansdieterhiep.nl
    praalhans avatar authored by praalhans 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 8
    Distributed Algorithms Visualizer show distributed hansdieterhiep.nl
    praalhans avatar authored by praalhans 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 14
    Model Checking: an Introduction to Bisimulation (a tutorial with Haskell examples) compsci haskell hansdieterhiep.nl
    praalhans avatar authored by praalhans 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment