Sökning: "Lawerence Chonavel"

Hittade 1 uppsats innehållade orden Lawerence Chonavel.

  1. 1. Agda on Raspberry Pi

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

    Författare :Lawerence Chonavel; [2023-10-25]
    Nyckelord :Agda; Compiler; Raspbery Pi; Functional Programming; BUBS;

    Sammanfattning : This thesis presents an Agda-to-C compiler targeting the Raspberry Pi Pico microcontroller. The compiler implementation includes an unusual choice of run-time algorithm, a Foreign Function Interface generator, and surprisingly little boilerplate code... LÄS MER