Kacper F. Korban
Kacper F. Korban
Docs
API
AboutMe
Contact
Education
Bachelors
Masters
PhD
OpenSourceContributions
AvocADO
Dotty
Inkuire
Posters
BootstrappingaverifiedcompilerforanimperativelanguageinRocq
Publications
VerifiedInliningandSpecialisationforPureCake
SupervisedStudents
CodeQualityFeedbackToolforStudents
EarlyReclamationOfLazyValuesInScala
WorkExperience
VirtusLab
Kacper F. Korban
/
AboutMe
AboutMe
AboutMe
object
AboutMe
Some basic info about me.
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
AboutMe
.
type
Members list
Clear all
Type members
Classlikes
class
Contact
e-mail kacper.korban@epfl.ch
e-mail
kacper.korban@epfl.ch
Attributes
Supertypes
class
Object
trait
Matchable
class
Any
In this article
Attributes
Members list
Type members
Classlikes