Items where Subject is "Programming Languages"

Group by: Creators | Item Type
Jump to: D | E | G | H | P | R | S | W
Number of items at this level: 17.

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.

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.

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.

This list was generated on Thu Jun 30 07:53:19 2022 UTC.