Items where Subject is "Programming Languages"

C

Christen, Pascal and Ribi, Lukas (2023) Graph properties of a telecommunication network. Other thesis, OST Ostschweizer Fachhochschule.

D

Durmaz, Pekent and Sopi, Alfred (2018) AutoExercise. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Dörig, Remo and Fisch, Joel (2020) OpenAPI 3 Code Binding Generator for Haskell. Bachelors 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.

di Benedetto, Josip and Freitag, Fabian (2023) Serious 3D-VR-Game mit realistischen Stadtwelten. Other thesis, OST Ostschweizer Fachhochschule.

E

Elsensohn, Thomas and Stalder, Nicola (2019) 0-RTT Protocol in Golang. Other thesis, HSR Hochschule für Technik Rapperswil.

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

F

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

G

Gerber, Michael and Ruch, Victor (2018) Script Language Enhancements. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

H

Hess, Marcel and Kistler, Thomas (2019) Dafny Language Server Redesign. Other thesis, HSR Hochschule für Technik Rapperswil.

Hinder, Jan and Martins, Fabio Rafael (2019) Visualisierung von Service Contracts mit React. Other thesis, HSR Hochschule für Technik Rapperswil.

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

J

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

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

Joss, Marcel and Schütz, Leonard and Honegger, Pascal (2023) SAMT: Compiler and Tools for an Extensible API Modeling Language. Bachelors thesis, OST Ostschweizer Fachhochschule.

M

Messmer, Lukas and Fischler, Mathias (2023) Development of a Gamified Application for Programming Education. Other thesis, OST Ostschweizer Fachhochschule.

P

Pfister, Remo and Thurairatnam, Keerthikan (2018) Improving the Bazo Blockchain. Other thesis, HSR Hochschule für Technik Rapperswil.

Pfister, Remo and Thurairatnam, Keerthikan (2019) Lazo Implementation. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

R

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

S

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

Schlumpf, Pascal and Hauser, Jonas (2022) Term Project Green Routing. Other thesis, OST Ostschweizer Fachhochschule.

Stalder, Nicola (2020) ATP – A P2P Protocol. Bachelors thesis, HSR Hochschule für Technik Rapperswil.

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

W

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