Browse by Contributors

Streckeisen, Lukas and Flepp, Jann M. (2023) VisualFP - Designing a Visual, Block-Based Environment to Create & Execute Haskell Code. Other thesis, OST Ostschweizer Fachhochschule.

Klinger, Dominic and Bisig, Christian (2022) AI for Relay Interlocking. Other thesis, OST Ostschweizer Fachhochschule.

Jenni, Raphael and Germann, Fabian (2021) Automation of the OST-RJ Examination Scheduling. Other thesis, OST Ostschweizer Fachhochschule.

Plattner, Benjamin and Lischer, Olivier (2023) Build-your-own-[grep, Redis] in Haskell. Other thesis, OST Ostschweizer Fachhochschule.

Jenni, Raphael (2022) Code Preparation for Machine Learning. Diploma thesis, OST Ostschweizer Fachhochschule.

Kanaganayagam, Sahithyen and Moor, Luca (2025) CronFP. Other thesis, OST Ostschweizer Fachhochschule.

Schmidli, Eliane Irène (2023) Different Approaches to control GPIO Pins of the Raspberry Pi using Haskell. Diploma thesis, OST Ostschweizer Fachhochschule.

Schmidli, Eliane Irène (2023) Embedded Programming with Embedded Domain-Specific Languages (EDSLs) in Haskell. Diploma thesis, OST Ostschweizer Fachhochschule.

Tanner, Julia and Amacher, Severin (2020) Engineering Project (EPJ) Team Builder. Other thesis, OST Ostschweizer Fachhochschule.

Lischer, Olivier (2024) Exploring the use of Haskell to Program Microcontrollers used in Educational Robotics Platforms. Diploma thesis, OST Ostschweizer Fachhochschule.

Jenni, Raphael and Germann, Fabian (2021) Folgearbeit: Automation of the OST-RJ Examination Scheduling. Bachelors thesis, OST Ostschweizer Fachhochschule.

Etter, Marc (2022) Formal Program Verification in Java. Diploma thesis, OST Ostschweizer Fachhochschule.

Elvedi, Robin and Dietler, Dominik (2022) Haskell Substitution Stepper (BA). Bachelors thesis, OST Ostschweizer Fachhochschule.

Huber, Jan (2022) Haskell Substitution Stepper (SA). Other thesis, OST Ostschweizer Fachhochschule.

Karrer, Nicolas (2022) Haskell andWebAssembly. Diploma thesis, OST Ostschweizer Fachhochschule.

Pichler, Fiona (2025) How to vim. Bachelors thesis, OST Ostschweizer Fachhochschule.

Elvedi, Sven and Strolz, Timo (2025) Improving the Usability of Mondriλn, a Visual Esoteric Functional Programming Language. Other thesis, OST Ostschweizer Fachhochschule.

Panchaud, Mona and Friedrich, Anja (2025) LambdaLab – A Visual, Block-Based Approach to Functional Programming. Bachelors thesis, OST Ostschweizer Fachhochschule.

Lischer, Olivier (2025) Linear Type Systems: What Are They, and How Are They Used in Programming Languages. Diploma thesis, OST Ostschweizer Fachhochschule.

Jenni, Raphael (2022) Machine Learning for Programming Languages. Diploma thesis, OST Ostschweizer Fachhochschule.

Wisotzki, Tim and Lemmenmeier, Samuel (2022) Markua Support for Pandoc. Other thesis, OST Ostschweizer Fachhochschule.

Lucic, Davor and Smajilbasic, Fadil (2024) Monad Torrent. Other thesis, OST Ostschweizer Fachhochschule.

Friedrich, Anja and Panchaud, Mona (2024) Mondriλn: A Visual Programming Language Based on the Lambda Calculus. Other thesis, OST Ostschweizer Fachhochschule.

Dörig, Remo and Fisch, Joel (2020) OpenAPI 3 Code Binding Generator for Haskell. Bachelors thesis, HSR Hochschule für Technik Rapperswil.

Kurath, Samuel (2018) Ranck - Downhill Support App. Other thesis, HSR Hochschule für Technik Rapperswil.

Lischer, Olivier (2024) Review of Current Principalled Approaches to System Programming. Diploma thesis, OST Ostschweizer Fachhochschule.

Meili, Mario (2018) Supporting Swift 4 Generics in Tifig. Masters thesis, HSR Hochschule für Technik Rapperswil.

Etter, Marc (2023) Type Systems for the OO Programmer. Diploma thesis, OST Ostschweizer Fachhochschule.

Etter, Marc (2024) TypeSearch: Type-Directed API Search For All. Diploma thesis, OST Ostschweizer Fachhochschule.

Schmidli, Eliane Irène (2023) Using Functional Reactive Programming in Yampa to Redesign the Control Software for the Robotic Artwork “Islanders”. Diploma thesis, OST Ostschweizer Fachhochschule.

Del Rossi, Carlo (2023) Haskell Substitution Stepper (Folgearbeit). Bachelors thesis, OST Ostschweizer Fachhochschule.

Etter, Marc and Bächli, Patrick Silvio (2020) Code Panorama. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Bächli, Patrick and Etter, Marc (2018) Code Panorama. Other thesis, HSR Hochschule für Technik Rapperswil.

Reisinger, Lukas (2018) Control and Reporting Interface for Autonomous Cleaning Robot. Masters thesis, HSR Hochschule für Technik Rapperswil.

Oberholzer, Lukas and Riederer, David (2017) Einsatzplanung und Tracking von alpinen Rettungsaktionen mit Hilfe GPS. Other thesis, HSR Hochschule für Technik Rapperswil.

Marty, Pascal and Hendrikx, Noah (2016) Entwicklung einer Cross-Plattform ServiceApp für Sanitäranlagen. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Niedermann, Mark and Pichonnat, Raphael (2018) KEMARO Simulation. Masters thesis, HSR Hochschule für Technik Rapperswil.

Hänni, Cyrill and Kessler, Dominik (2018) Lambda Calculus Calculator. Other thesis, HSR Hochschule für Technik Rapperswil.

Schenkel, Cyrill (2017) Modern IDE Support for Functional Programming. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Hauser, Fabian and Zimmermann, Raphael (2017) Redbackup: A Redundant Distributed Backup System Prototype. Other thesis, HSR Hochschule für Technik Rapperswil.

Dörig, Remo and Fisch, Joel (2019) Strongly typed, functional languages as an alternative to the popular React + Redux stack. Other thesis, HSR Hochschule für Technik Rapperswil.

Krucker, Rafael and Schaden, Markus (2017) Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Gächter, Benny and Wilhelm, Benjamin (2016) BLINQ BookingTool. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Morgner, Felix and Stauber, Tobias (2016) Data over DAB. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Syfrig, Marco (2017) Dependent Types: Level Up Your Types. Diploma thesis, HSR Hochschule für Technik Rapperswil.

Meili, Mario (2017) Development of a Modelling Procedure for the Description of Test Set-Ups with Measuring Instruments. Masters thesis, HSR Hochschule für Technik Rapperswil.

Melchiori, Marino Andrea and Mülhaupt, Dominic (2015) EasyPay. Other thesis, HSR Hochschule für Technik Rapperswil.

Wälter, Jonas (2020) Existing and novel Approaches to the Vehicle Rescheduling Problem (VRSP). Diploma thesis, HSR Hochschule für Technik Rapperswil.

Bader, Robin and Meier, Philipp (2015) GPU-Parallelisierung der Flachwassergleichungen in einer Evakuierungssimulation. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Meili, Mario (2017) If Functional Programming Is So Great, Why Isn't Everyone Using It? Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Reiser, Micha (2017) Liquid Type Inference Under the Hood. Diploma thesis, HSR Hochschule für Technik Rapperswil.

Laib, Fabio and Muggli, Sandro (2015) Medikamententrackingsystem für die Flugrettung. Other thesis, HSR Hochschule für Technik Rapperswil.

Bosshard, Ueli and Christen, Philipp (2016) Orchestrierung von Security-Updates für Linux-Serversysteme. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Kayed, Konstantin and Winter, Theo (2015) Smartphone Applikation für intelligente, induktive Heizsysteme in Grossküchen. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Burri, Michael and Wilhelm, Benjamin (2015) Paymentslip Scanner. Other thesis, HSR Hochschule für Technik Rapperswil.

Hänni, Cyrill and Kessler, Dominik Bastian (2019) Videoanalyse für fliegende Rettnungshunde. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Luchsinger, Esteban and Scherler, Patrick (2018) Automatisierte Lichtmessung mit Indoor-Lokalisierungssystem. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Oberholzer, Lukas and Riederer, David (2018) Einsatz von Drohnen zur Unterstützung von alpinen Rettungsaktionen. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Kamm, Matteo and Marti, Mike (2019) The Sequent Calculus Calculator. Bachelor thesis, HSR Hochschule für Technik Rapperswil.