An operational semantics for I/O in a lazy functional language

This publication has 12 references indexed in Scilit:

• Report on the programming language Haskell
  ACM SIGPLAN Notices, 1992
• Observable sequentiality and full abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• On the expressive power of programming languages
  Science of Computer Programming, 1991
• Comprehending monads
  Published by Association for Computing Machinery (ACM) ,1990
• A logic for Miranda
  Formal Aspects of Computing, 1989
• Functional Programming and Operating Systems
  The Computer Journal, 1989
• FLIC—a functional language intermediate code
  ACM SIGPLAN Notices, 1988
• Dialogues
  Published by Association for Computing Machinery (ACM) ,1985
• LCF considered as a programming language
  Theoretical Computer Science, 1977
• A correspondence between ALGOL 60 and Church's Lambda-notations
  Communications of the ACM, 1965