MetaOCaml Examples

• Bigger examples:
  • The dynamic programming benchmark. Used partly to illustrate "offshoring" in Implicitly Heterogeneous Multi-Stage Programming
  • Jacques Carette Gaussian Elimination's library. Used partly in a paper soon to appear.
• Small examples:
  • The lint interpreter. Used in A Gentle Introduction to Multi-stage Programming
  • An fft circuit generator. Used in A Methodology for Generating Verified Combinatorial Circuits
  • The simple band-Markov and slightly fancier band-Markov illustrate the usefulness of being able to store open code.
  • The determinant illustrates computing the determinant of a matrix.