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

@inproceedings{Diatchki2006StronglyTM,
  title={Strongly typed memory areas programming systems-level data structures in a functional language},
  author={Iavor S. Diatchki and Mark P. Jones},
  booktitle={Haskell},
  year={2006}
}
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programming tasks-including device driver and operating system construction-we have also encountered some significant gaps in functionality. As a result, we have been forced, either to code some non-trivial components in more traditional but unsafe languages like C or assembler, or else to adopt aspects of the foreign function… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

References

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

Cyclone: A Safe Dialect of C

USENIX Annual Technical Conference, General Track • 2002
View 6 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…