Sökning: "Filip Nordmark"

Hittade 1 uppsats innehållade orden Filip Nordmark.

1. 1. HasLin - ett DSL för linjär algebra

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Adam Eliasson; Daniel Nikoalev; Filip Nordmark; Sebastian Sjögren; Linus Sundkvist; [2023-03-03]
   Nyckelord :Haskell; DSL; Linjär algebra; Agda; pedagogik; bevis;

   Sammanfattning : Matematik är en viktig del av datavetenskap och ett vanligt förekommande ämne på teknikinriktade program på universitet är linjär algebra. Om matematik tolkas inom kontexten av ett domänspecifikt språk kan klyftan mellan matematik och datavetenskap överbryggas. LÄS MER