Paper: Single-threaded polymorphic lambda calculus (at LICS 1990)

Authors: Juan C. Guzmán Paul Hudak

Abstract

The primary goal of this study is to devise a method to express mutations to state in a modern (higher order, polymorphic, nonstrict) functional language, without sacrificing referential transparency, and with a simple, easy-to-reason-about semantics. Although collectively these properties seem contradictory, a satisfactory solution is found. Aside from the fundamental property of referential transparency, the two key properties that the authors maximize are simplicity and expressiveness. The system must be easy to use: expressing mutations to state should be natural, and the resulting behavior should be easy to reason about

BibTeX

  @InProceedings{GuzmnHudak-Singlethreadedpolym,
    author = 	 {Juan C. Guzmán and Paul Hudak},
    title = 	 {Single-threaded polymorphic lambda calculus},
    booktitle =  {Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 1990)},
    year =	 {1990},
    month =	 {June}, 
    pages =      {333--343},
    location =   {Philadelphia, PA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }