keywords = {foreign function calls, multi-lingual type system, OCaml, multi-lingual type inference, flow-sensitive type system, FFI, foreign function interface, dataflow analysis, representational type}
}
-@INPROCEEDINGS{LubbersMIPRO,
- author={Lubbers, Mart and Koopman, Pieter and Plasmeijer, Rinus},
- booktitle={2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)},
- title={Multitasking on Microcontrollers using Task Oriented Programming},
- year={2019},
- volume={},
- number={},
- pages={1587-1592},
- publisher={IEEE},
- address={Opatija, Croatia},
- doi={10.23919/MIPRO.2019.8756711}}
-
@inproceedings{plamauer2017evaluation,
title={Evaluation of micropython as application layer programming language on cubesats},
author={Plamauer, Sebastian and Langer, Martin},