Software Engineering

Technical Reports

All About That Stack: A Uni­fied Treat­ment of Re­gions and Con­trol Ef­fects

by Philipp Schus­ter, Jonathan Im­manuel Brachthäuser, and Klaus Os­ter­mann

Tech­ni­cal re­port. Uni­ver­sity of Tübin­gen, Ger­many, 2021.

Learn More

Rep­re­sent­ing Mon­ads with Ca­pa­bil­i­ties

by Jonathan Brachthäuser, Alek­sander Boruch-Gruszecki, and Mar­tin Oder­sky

Tech­ni­cal re­port. Higher-Or­der Pro­gram­ming with Ef­fects (HOPE), 2021.

Learn More

Ef­fekt: Light­weight Ef­fect Poly­mor­phism for Han­dlers (Tech­ni­cal Re­port)

by Jonathan Im­manuel Brachthäuser, Philipp Schus­ter, and Klaus Os­ter­mann

Tech­ni­cal re­port. Uni­ver­sity of Tübin­gen, Ger­many, 2020.

Learn More

Pro­gram­ming with Im­plicit Val­ues, Func­tions, and Con­trol

by Jonathan Im­manuel Brachthäuser and Daan Lei­jen

Tech­ni­cal re­port MSR-TR-2019-7. Mi­crosoft Re­search, 2019.

Learn More

Zero-cost Ef­fect Han­dlers by Stag­ing (Tech­ni­cal Re­port)

by Philipp Schus­ter, Jonathan Im­manuel Brachthäuser, and Klaus Os­ter­mann

Tech­ni­cal re­port. Uni­ver­sity of Tübin­gen, Ger­many, 2019.

Learn More

Re­vis­it­ing the Cake Pat­tern: Scal­ing "Scal­able Com­po­nent Ab­strac­tions"

by Paolo G. Gi­a­russo and Jonathan Im­manuel Brachthäuser

Tech­ni­cal re­port. Talk at Scala Sym­po­sium 2016, Uni­ver­sity of Tübin­gen, Ger­many, 2016.

Learn More