A type-preserving closure conversion in haskell

@inproceedings{Guillemette2007ATC,
  title={A type-preserving closure conversion in haskell},
  author={Louis-Julien Guillemette and Stefan Monnier},
  booktitle={Haskell},
  year={2007}
}
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify bugs in the compiler that would otherwise be much harder to find. Also it guarantees that any property that was enforced by the source-level type-system is holds also or the generated code. Recently, several people have tried to push this effort a bit further by verifying formally that the compiler indeed preserves… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Programming with static inv ariants in omega

  • Nathan Linger, Tim Sheard
  • Unpublished,
  • 2004
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…