The Core language of Juvix

This report describes JuvixCore -- a minimalistic intermediate functional language to which Juvix desugars. We provide a precise and abstract specification of JuvixCore's syntax, evaluation semantics, and optional type system. We comment on the relationship between this specification and the actual implementation. We also explain the role JuvixCore plays in the Juvix compilation pipeline. Finally, we compare the language features available in JuvixCore with those in Juvix and other popular functional languages.