High-level views on low-level representations

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2005, Pages 168-179

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

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^b PORTLAND STATE UNIVERSITY   (United States)

Author keywords

Bit manipulation; Bitdata; Bitfields; Data representation; Pattern matching; Polymorphism; Qualified types; Views

Indexed keywords

BIT MANIPULATION; BITDATA; BITFIELDS; DATA REPRESENTATIONS; QUALIFIED TYPES; VIEWS;

FUNCTIONAL PROGRAMMING; PATTERN MATCHING; POLYMORPHISM;

HIGH LEVEL LANGUAGES;

EID: 34748831829     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086365.1086387     Document Type: Conference Paper

References (19)

1. Lennart Augustsson, Jacob Schwartz, and Rishiyur S. Nikhil. Bluespec Language definition. Sandburst Corporation, 2002.
2. 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.
3. Matthias Blume. No-Longer-Foreign: Teaching an ML compiler to speak C "natively". In BABEL'01: First workshop on multi-language infrastructure and interoperability, September 2001.
4. 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.
5. Benedict R. Gaster and Mark P. Jones. A polymorphic type system for extensible records and variants. Technical report, University of Nottingham, 1996.
6. J.A. Goguen, J.W. Thatcher, E.G. Wagner, and J.B. Wright. Initial algebra semantics and continuous algebras. JACM, 24(1):68-95, 1997.
7. Robert W. Harper and Benjamin C. Pierce. Extensible records without subsumption. Technical Report CMU-CS-90-102, School of Computer Science, Carnegie Mellon University, Feburary 1990.
8. Mark P. Jones. Qualified Types Theory and Practice. Cambridge University Press, 1994.
9. Mark P. Jones. Simplifying and improving qualified types. Technical Report YALEU/DCS/RR-1040, Yale University, New Haven, Connecticut, USA, June 1994.
10. Mark P. Jones. Type classes with functional dependencies. In ESOP 2000: European Symposium on Programming, March 2000.
11. Simon Peyton Jones, editor. Haskell 98 Language and Libraries, The Revised Report. Cambridge University Press, 2003.
12. Simon Peyton Jones and Mark Shields. Lexically scoped type variables. March 2004.
13. Jochen Liedtke. On μ-kernel construction. In 15th ACM Symposium on Operating System Principles, December 1995.
14. Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17(3):348-375, December 1978.
15. National Semiconductor. DP8390D/NS32490 NIC Network Interface Controller, July 1995.
16. Norman Ramsey and Mary F. Fernandez. Specifying representations of machine instructions. ACM Transactions on Programming Languages and Systems, 19(3):492-524, 1997.
17. L4ka Team. L4 eXperimental Kernel Reference Manual, January 2005. Available online from http://l4ka.org/.
18. Philip Wadler. Views: a way for pattern matching to cohabit with data abstraction. In 14'th ACM Symposium on Principles of Programming Languages.
19. Zilog, Inc. Z80-CPU, Z80A-CPU Technical Manual, 1977. Information about the Z80 is also available from www.z80.info.