copilot-core-4.7.1: An intermediate representation for Copilot.

Copyright | (c) 2011 National Institute of Aerospace / Galois Inc.
Safe Haskell | Safe
Language | Haskell2010

Copilot.Core

Description

The following articles might also be useful:

- Carette, Jacques and Kiselyov, Oleg and Shan, Chung-chieh, "Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages", Journal of Functional Programming vol. 19, p. 509-543, 2009.
- Guillemette, Louis-Julien and Monnier, Stefan, "Type-Safe Code Transformations in Haskell", Electronic Notes in Theoretical Computer Science vol. 174, p. 23-39, 2007.

For examples of how to traverse a Copilot specification see the source code of the interpreter (`copilot-interpreter`) and the pretty-printer (`copilot-prettyprinter`).

# Documentation

module Copilot.Core.Expr

module Copilot.Core.Operators

module Copilot.Core.Spec

module Copilot.Core.Type

module Copilot.Core.Type.Array

module Data.Int

module Data.Word