Home

Scilla: A Smart Contract Intermediate Level Language

This wiki collects the related specification documents and tutorials. It also outlines the current project development status.

Elements of Scilla Specification

• Lexical grammar
• Syntax
• Built-in Types and Operations on Them
• Cryptographic Primitives
• Structural Recursion and Folds
• Runtime Semantics
• Type System

Roadmap

• Itemised list of language aspects and features

Related documents

• Position paper
• A paper with more examples
• Language specification in PDF (to be updated soon) (WIP)