Kacper F. Korban
DocsAPI
Generated with
Kacper F. Korban/Posters

Posters

Posters
object Posters

A list of posters I have presented.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Posters.type

Members list

Type members

Classlikes

class BootstrappingaverifiedcompilerforanimperativelanguageinRocq

Bootstrapping a verified compiler for an imperative language in Rocq

Bootstrapping a verified compiler for an imperative language in Rocq

Silver medal at POPL'26 SRC

Attributes

Authors:

Kacper F. Korban, Magnus O Myreen, Clément Pit-Claudel

See also
Since

POPL'26 SRC

Supertypes
class Object
trait Matchable
class Any
Generated with