Strongly typed memory areas: Programming systems-level data structures in a functional language

Haskell'06 - Proceedings of the ACM SIGPLAN 2006 Haskell Workshop

Volumn 2006, Issue , 2006, Pages 72-83

  Diatchki, Iavor S ^a   Jones, Mark P ^b  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^b Portland State University   (United States)

Author keywords

Data representation; Improvement; Memory areas; Memory manipulation; Qualified types; Systems programming

Indexed keywords

COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES; PROGRAM ASSEMBLERS; SYNTACTICS;

DATA REPRESENTATION; HARDWARE INTERFACES; MEMORY MANIPULATION;

DATA STORAGE EQUIPMENT;

EID: 33751010773     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159842.1159851     Document Type: Conference Paper

References (26)

1. Godmar Back. Datascript - a specification and scripting language for binary data. In Proceedings of the ACM Conference on Generative Programming and Component Engineering Proceedings (GPCE 2002), pages 66-77, October 2002.
2. Matthias Blume. No-Longer-Foreign: Teaching an ML compiler to speak C "natively". In BABEL 2001: 1st Workshop on Multi-Language Infrastructure and Interoperability, September 2001.
3. Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. Associated type synonyms. In ICFP 2005: ACM SIGPLAN International Conference on Functional Programming, pages 241-253, 2005.
4. Iavor S. Diatchki, Mark P. Jones, and Rebekah Leslie. High-level views on low-level representations. In ICFP 2005: ACM SIGPLAN International Conference on Functional Programming, pages 168-179, 2005.
5. Sigbjorn Finne, Daan Leijen, Erik Meijer, and Simon Peyton Jones. H/Direct: A binary foreign language interface for Haskell. In ICFP 1998: ACM SIGPLAN International Conference on Functional Programming, 1998.
6. Kathleen Fisher and Robert Gruber. PADS: a domain-specific language for processing ad hoc data. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pages 295-304, 2005.
7. Kathleen Fisher, Ricardo Pucella, and John Reppy. A framework for interoperability. In BABEL 2001: 1st Workshop on Multi-Language Infrastructure and Interoperability, September 2001.
8. Daniel Joeseph Grossman. Safe Programming at the C Level of Abstraction. PhD thesis, Cornell University, 2003.
9. Thomas Hallgren, Mark P. Jones, Rebekah Leslie, and Andrew Tolmach. A principled approach to operating system construction in Haskell. In ICFP 2005: ACM SIGPLAN International Conference on Functional Programming, pages 116-128, 2005.
10. Robert Harper, Peter Lee, and Frank Pfenning. The fox project: Advanced language technology for extensible systems. Technical Report CMU-CS-98-107, School of Computer Science, Carnegie Mellon University, January 1998.
11. Intel Corporation. IA-32 Intel Architecture Software Developer's Manual, Volumes 1-3. Available online from http://www.intel.com/design/Pentium4/ documentation.htm.
12. Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, pages 275-288, June 2002.
13. Mark P. Jones. Simplifying and improving qualified types. Technical Report YALEU/DCS/RR-1040, Yale University, New Haven, Connecticut, USA, June 1994.
14. Mark P. Jones. Type classes with functional dependencies. In ESOP 2000: European Symposium on Programming, March 2000.
15. Mark P. Jones, Magnus Carlsson, and Johan Nordlander. Composed, and in Control: Programming the Timber Robot. Technical report, OGI School of Science & Engineering at OHSU, August 2002.
16. Simon Peyton Jones, editor. Haskell 98 Language and Libraries, The Revised Report. Cambridge University Press, 2003.
17. Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice Hall, 1988.
18. Xavier Leroy. CamlIDL User's Manual (Version 1.05). INRIA Rocquencourt.
19. Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Ken Birman, and Robert Constable. Building reliable, high-performance communication Systems from components. In Proceedings of the 17th ACM Symposium on Operating System Principles (SOSP '99), Kiawah Island Resort, SC, December 1999.
20. Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. A functional notation for functional dependencies. In Proceedings of The 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001.
21. Norman Ramsey and Mary F. Fernandez. Specifying representations of machine instructions. ACM Transactions on Programming Languages and Systems, 19(3):492-524, 1997.
22. Bjame Stroustrup. The C++ Programming Language. Addison-Wesley, 1997.
23. Cyclone Team. Cyclone User's Manual (0.8.2), August 2004.
24. Haskell FFI Team. Haskell 98 Foreign Function Interface (1.0), 2003.
25. L4ka Team. L4 experimental Kernel Reference Manual, January 2005. Available online from http://14ka.org/.
26. Andrew Tolmach and Dino P. Oliva. From ML to Ada: Strongly-typed language interoperability via source translation. Journal of Functional Programming, 8(4):367-412, July 1998.