1. Adafruit. 2016. DHT-sensor-library. (2016). https://github.com/adafruit/DHT-sensor-library
2. Arduino.cc. 2015. Arduino LiquidCrystal Library. (2015). https://www.arduino.cc/en/Reference/LiquidCrystal
3. Emil Axelsson, Koen Claessen, Gergely DŐvai, ZoltĞn HorvĞth, Karin Keijzer, Bo LyckegŇrd, Anders Persson, Mary Sheeran, Josef Svenningsson, and AndrĞs Vajda. 2010. Feldspar: A domain specific language for digital signal processing algorithms.. In MEMOCODE. IEEE, 169--178.
4. H. Barendregt, W. Dekkers, and R. Statman. 2013. Lambda Calculus with Types. Cambridge University Press.
5. Jacques Carette, Oleg Kiselyov, and Chung-chieh Shan. 2009. Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages. J. Funct. Program. 19, 5 (Sept. 2009). https://doi.org/10.1017/S0956796809007205