Vilhelm Sjöberg

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
How to exploit a DeFi project	2022-06-01	Paper
scientific article; zbMATH DE number 7324347 (Why is no real title available?)	2021-03-17	Paper
scientific article; zbMATH DE number 7324347 (Why is no real title available?) (available as arXiv preprint)	2021-03-17	Paper
Irrelevance, heterogeneous equality, and call-by-value dependent type systems	2021-03-17	Paper
Irrelevance, heterogeneous equality, and call-by-value dependent type systems (available as arXiv preprint)	2021-03-17	Paper
Equality, quasi-implicit products, and large eliminations	2021-03-03	Paper
Equality, quasi-implicit products, and large eliminations (available as arXiv preprint)	2021-03-03	Paper
Programming up to congruence Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
Dependent types and program equivalence Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
Combining proofs and programs in a dependently typed language Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper

Research outcomes over time

This page was built for person: Vilhelm Sjöberg