Xmonad

Authors:
Don Stewart;Spencer Sjanssen
Affiliations:
University of New South Wales, Sydney, Australia;University of Nebraska-Lincoln, Lincoln, NE
Venue:
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Year:
2007

Citing 0
Cited 5

Data-flow testing of declarative programs

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching

Proceedings of the first ACM SIGPLAN symposium on Haskell
Yi: an editor in haskell for haskell

Proceedings of the first ACM SIGPLAN symposium on Haskell
Monatron: an extensible monad transformer library

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
xmonad in Coq (experience report): programming a window manager in a proof assistant

Proceedings of the 2012 Haskell Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

xmonad is a tiling window manager for the X Window system, implemented, configured and dynamically extensible in Haskell. This demonstration presents the case that software dominated by side effects can be developed with the precision and efficiency we expect from Haskell by utilising purely functional data structures, an expressive type system, extended static checking and property-based testing. In addition, we describe the use of Haskell as an application configuration and extension language.