Items where Subject is "Technologies > Programming Languages"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: D | E | G | H | P | R | S
Number of items at this level: 11.

D

Durmaz, Pekent and Sopi, Alfred (2018) AutoExercise. Bachelor 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.

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.

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.

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

This list was generated on Thu Nov 26 02:15:44 2020 CET.