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: R | S
Number of items at this level: 3.

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 Tue Jan 22 02:12:46 2019 CET.