Lambdas in the liftshaft—functional programming and an embedded architecture

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Lambdas in the liftshaft—functional programming and an embedded architecture

Full text

Pdf (810 KB)

Source

Functional Programming Languages and Computer Architecture archive
Proceedings of the seventh international conference on Functional programming languages and computer architecture table of contents

La Jolla, California, United States

Pages: 249 - 258

Year of Publication: 1995

ISBN:0-89791-719-7

Authors

Malcolm Wallace	Department of Computer Science, University of York, YO1 5DD, United Kingdom
Colin Runciman	Department of Computer Science, University of York, YO1 5DD, United Kingdom

Sponsors

IFIP WG 2.8 : IFIP WG 2.8
SIGPLAN: ACM Special Interest Group on Programming Languages
SIGARCH: ACM Special Interest Group on Computer Architecture

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 31, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/224164.224213 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AVW93	Concurrent programming in Erlang, Joe Armstrong, Robert Virding, Mike Williams, Prentice-Hall (1993)
	Burns91	A. Burns, Scheduling hard real-time systems: a review, Software Engineering Journal, v.6 n.3, p.116-128, May 1991
	Clack89	Signal handling for functional programs, Chris Clack, University College London (May 1989)
	Gordon94	A proposal for monadic I/O in Haskell 1.3, Andrew D Gordon, Cambridge University Computer Laboratory (March 1994)
	HJ95	Haskell vs. Ada vs. C++ vs. Awk vs .... , An experiment in software prototyping productivity, Paul Hudak, Mark P Jones, Journal of Functional Programming 5(to appear) (1995)
	JH93	Implicit and explicit parallel programming in Haskell, Mark P Jones, Paul Hudak, Department of Computer Science, Yale University, YALEU/DCS/RR-982 (August 1993)
	Jones93	Mark P. Jones, A system of constructor classes: overloading and implicit higher-order polymorphism, Proceedings of the conference on Functional programming languages and computer architecture, p.52-61, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165190]
	Jones94	The implementation of the Gofer functional programming system, Mark P Jones, Department of Computer Science, Yale University, Technical Report, YALEU/DCS/RR-1030 (May 1994)
	PJW93	Simon L. Peyton Jones , Philip Wadler, Imperative functional programming, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.71-84, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158524]
	RW93	Heap profiling of lazy functional programs, Colin Runciman, David Wakeling, Journal of Functional Programming 3(2), pp.217-245 (April 1993)
	SPJ95	Patrick M. Sansom , Simon L. Peyton Jones, Time and space profiling for non-strict, higher-order functional languages, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.355-366, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199531]
	Stoye86	W Stoye, Message-based functional operating systems, Science of Computer Programming, v.6 n.3, p.291-311, May 1986
	WR93	An incremental garbage collector for embedded real-time systems, Malcolm Wallace, Colin Runciman, in Proceedings of the Winter Meeting, Chalmers University of Technology, Gothenburg, Sweden, PMG-R73 (June 1993)
	WR94	Type-checked message passing between functional processes, Malcolm Wallace, Colin Runciman, in Proceedings of the Glasgow Functional Programming Workshop, Springer Verlag, BCS Workshops in Computer Science (Sept 1994)
	Wallace95	Functional Programming and Embedded Systems, Malcolm Wallace, in DPhil Thesis, Dept. of Computer Science, University of York, UK (January 1995)
	WR95	Malcolm Wallace , Colin Runciman, Extending a functional programming system for embedded applications, Software—Practice & Experience, v.25 n.1, p.73-96, Jan. 1995 [doi>10.1002/spe.4380250105]

CITED BY 3

	Thomas Hallgren , Mark P. Jones , Rebekah Leslie , Andrew Tolmach, A principled approach to operating system construction in Haskell, ACM SIGPLAN Notices, v.40 n.9, September 2005
	Philip Derrin , Kevin Elphinstone , Gerwin Klein , David Cock , Manuel M. T. Chakravarty, Running the manual: an approach to high-assurance microkernel development, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, September 17-17, 2006, Portland, Oregon, USA
	David Wakeling, The dynamic compilation of lazy functional programs, Journal of Functional Programming, v.8 n.1, p.61-81, January 1998