Hittauppsatser.se

Uppsats

Agda on Raspberry Pi

Master-uppsats

Chonavel, Lawerence

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

Publicerad: 2023-10-25

Språk: Engelska

Nyckelord

klicka för att söka
⌕Agda⌕compiler⌕functional programming⌕Raspbery Pi⌕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.

Information

Författare
Chonavel, Lawerence
Lärosäte / institution
Göteborgs universitet/Institutionen för data- och informationsteknik
Publiceringsdatum
2023-10-25
Uppsatstyp
Master-uppsats
Språk
Engelska
Nyckelord
⌕Agda⌕compiler⌕functional programming⌕Raspbery Pi⌕BUBS

Utforska vidare

Liknande uppsatser

Uppsatser med liknande ämnen och nyckelord.