Welcome to jasminéfields.net!
I am currently finishing up my studies at the University Lübeck, which takes up about all of my time. Besides the final exams, I am writing my diploma thesis about the Qube compiler.
The Qube language is a functional array programming language. It provides a great amount of program confidence by ruling out many programming errors already at compile time. Second, it performs specialised optimisations that result in very fast execution times from very high level specifications.
My work involves extending the Qube compiler with two quite pragmatic extensions: Modules, which provide an additional method to structure programs and thereby overcome program complexity, and Uniqueness Types, which facilitate an easy, yet elegant way of introducing I/O into a functional language.
You may contact me at via Mail at
fbuether
jasminefields.net
or through Jabber (Google Talk) at
bueda
gmx.li
. For your social networking, I even made it to facebook and xing.