This work introduces a novel, largely language-independent type-based search method for exploring software libraries using type signatures. The approach applies concepts from logic and type...

Stefan Keller, Professor of Data Engineering and GISTech, will attend the WEF 2025 in Davos and participate in a discussion on "Data for all and everyone - is this the solution to combat...

Der Haskell Ecosystem Workshop 2024 fand als Präsenzveranstaltung am Donnerstag, 6. Juni und Freitag, 7. Juni an der OST Ostschweizer Fachhochschule auf dem Campus Rapperswil-Jona 2024...

Am Samstag 25. und Sonntag 26. Mai 2024 fand der NixOS ZHF 24.03 statt. Es war der vierte in einer Reihe von ähnlichen Events, die am OST Campus in Rapperswil-Jona stattfanden.