Type-safe observable sharing in Haskell

Haskell'09 - Proceedings of the 2009 ACM SIGPLAN Haskell Symposium

Volumn , Issue , 2009, Pages 117-128

  Gill, Andy ^a  

^a University of Kansas   (United States)

Author keywords

DSL compilation; Observable sharing

Indexed keywords

DIRECT OBSERVATION; EMBEDDED DOMAIN SPECIFIC LANGUAGES; HASKELL;

DSL; LINGUISTICS; MODEMS; QUERY LANGUAGES; TELECOMMUNICATION LINES;

FUNCTIONAL PROGRAMMING;

EID: 72949096879     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1596638.1596653     Document Type: Conference Paper

References (23)

1. Arthur I. Baars and S. Doaitse Swierstra. Type-safe, self inspecting code. In Proceedings of the ACM SIGPLAN workshop on Haskell, pages 69-79. ACM Press, 2004. ISBN 1-58113-850-4.
2. Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: Hardware design in Haskell. In International Conference on Functional Programming, pages 174-184, 1998.
3. Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. Associated type synonyms. In ICFP'05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, pages 241-253, New York, NY, USA, 2005. ACM. ISBN 1-59593-064-7.
4. Koen Claessen. Embedded Languages for Describing and Verifying Hardware. PhD thesis, Dept. of Computer Science and Engineering, Chalmers University of Technology, April 2001.
5. Koen Claessen and David Sands. Observable sharing for functional circuit description. In P. S. Thiagarajan and Roland H. C. Yap, editors, Advances in Computing Science - ASIAN'99, volume 1742 of Lecture Notes in Computer Science, pages 62-73. Springer, 1999. ISBN 3-540-66856-X.
6. Conal Elliott. Programming graphics processors functionally. In Proceedings of the 2004 Haskell Workshop. ACM Press, 2004.
7. Conal Elliott, Sigbjørn Finne, and Oege de Moor. Compiling embedded languages. Journal of Functional Programming, 13(2), 2003.
8. J. Ellson, E.R. Gansner, E. Koutsofios, S.C. North, and G. Woodhull. Graphviz and dynagraph - static and dynamic graph drawing tools. In M. Junger and P. Mutzel, editors, Graph Drawing Software, pages 127- 148. Springer-Verlag, 2003.
9. Levent Erkök and John Launchbury. A recursive do for Haskell. In Haskell Workshop'02, Pittsburgh, Pennsylvania, USA, pages 29-37. ACM Press, October 2002.
10. Mark P. Jones. Functional programming with overloading and higher-order polymorphism. In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text, pages 97-136, London, UK, 1995. Springer-Verlag. ISBN 3-540-59451-5.
11. Mark P. Jones and Iavor S. Diatchki. Language and program design for functional dependencies. In Haskell'08: Proceedings of the first ACM SIGPLAN symposium on Haskell, pages 87-98, New York, NY, USA, 2008. ACM. ISBN 978-1-60558-064-7. doi: http://doi.acm.org/10.1145/1411286.1411298.
12. John Launchbury. A natural semantics for lazy evaluation. In POPL, pages 144-154, 1993.
13. Daan Leijen and Erik Meijer. Domain specific embedded compilers. In 2nd USENIX Conference on Domain Specific Languages (DSL'99), pages 109-122, Austin, Texas, October 1999.
14. John Matthews, Byron Cook, and John Launchbury. Microprocessor specification in Hawk. In ICCL'98: International Conference on Computer Languages, pages 90-101, 1998.
15. Conor McBride and Ross Patterson. Applicative programing with effects. Journal of Functional Programming, 16(6), 2006.
16. Matt Morrow. Vacuum. hackage.haskell.org/package/vacuum.
17. John O'Donnell. Overview of Hydra: a concurrent language for synchronous digital circuit design. In Parallel and Distributed Processing Symposium, pages 234-242, 2002.
18. John O'Donnell. Generating netlists from executable circuit specifications in a pure functional language. In Functional Programming, Glasgow 1992, Workshops in Computing, pages 178-194. Springer-Verlag, 1992.
19. Simon Peyton Jones, editor. Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, Cambridge, England, 2003.
20. Simon Peyton Jones, Simon Marlow, and Conal Elliott. Stretching the storage manager: weak pointers and stable names in Haskell. In Proceedings of the 11th International Workshop on the Implementation of Functional Languages, LNCS, The Netherlands, September 1999. Springer-Verlag.
21. Richard Sharp. Functional design using behavioural and structural components. In FMCAD'02: Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, pages 324-341, London, UK, 2002. Springer-Verlag. ISBN 3-540-00116-6.
22. Tim Sheard and Simon Peyton Jones. Template metaprogramming for Haskell. In Manuel M. T. Chakravarty, editor, ACM SIGPLAN Haskell Workshop 02, pages 1-16. ACM Press, October 2002.
23. Satnam Singh and Phil James-Roxby. Lava and jbits: From hdl to bitstream in seconds. In FCCM'01: Proceedings of the the 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, pages 91-100, Washington, DC, USA, 2001. IEEE Computer Society. ISBN 0-7695-2667-5.