6 * Other FHDLs (short, Christiaan has details)
7 * Advantages of clash / why clash?
10 * Simple function -> component interpretation (Model: Structure)
15 * Explicit vs implicit passing of state (e.g, delay)
16 * Explicit vs implicit marking
17 * Interpret: Polymorphism
18 * Interpret: Higher order
23 * VHDL / Verilog / EDIF etc. Why VHDL?
24 * Stages (-> Core, Normalization, -> VHDL)
25 . Core - description of the language
28 Implementation issues -- Which?
34 . Properties / Proofs (termination, soundness, completeness, determinism)
37 * Boilerplate reduction (State distribution & pipelining)
39 * Multiple time domains (Events) -- Also, clock line optimization /
41 * Multiple cycle descriptions
46 TODO: Define user / developer
47 TODO: Comiler vs translator
48 TODO: Hardware description / model vs program
49 TODO: Separate compilation / Prelude
50 TODO: Add case binder removal transformation
51 TODO: User-defined type classes (future work?)
52 TODO: Entity / Architecture / Component vs Function?
53 TODO: Expand on "representable"
55 TODO: Variable vs binder
56 TODO: simplification -> Normalisation?
57 TODO: Use saturated (application) instead of complete (application)?
59 TODO: \defref{beta-reduction} -> \defref{β-reduction}
60 TODO: Make interaction links not bold
61 TODO: Say something about implementation differences with transformation specs
62 TODO: Say something about the builtin functions somewhere (ref: christiaan)
63 TODO: Reorder future work.
64 TODO: Future work: Use Cλash
67 TODO: Footnote font has not lambda
68 TODO: eta-abstraction -> expansion