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. 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. Student Research Project 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, Nico (2019) 0-RTT Protocol in Golang. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Elvedi, Robin and Dietler, Dominik (2022) Haskell Substitution Stepper (BA). 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. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Hinder, Jan and Martins, Fabio Rafael (2019) Visualisierung von Service Contracts mit React. Student Research Project 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. Other thesis, OST Ostschweizer Fachhochschule.

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

Joss, Marcel and Schuetz, Leonard and Honegger, Pascal (2023) SAMT: Compiler and Tools for an Extensible API Modeling Language. Other 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. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

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

R

Reiser, Micha (2017) Liquid Type Inference Under the Hood. Masters 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. Other thesis, HSR Hochschule für Technik Rapperswil.

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

W

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