Peter Thiemann. Safe sequencing of assignments in purely functional programming languages. Technical Report WSI-93-16, Wilhelm-Schickard-Institut, Tubingen, Germany, November 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
State in Haskell - Launchbury, Jones (1996) (11 citations) (Correct)
....encapsulation of state. In classical logic, of course, a universal quantifier on the left of an arrow can be brought outwards, converting to an existential in the process. In intuitionistic logic, this is not valid in general. Nonetheless, Thiemann has developed a system which captures this (Thiemann [1993]) though the result is far more complex than the method presented here. Acknowledgements The idea of adding an extra type variable to distinguish state threads arose in discussion with John Hughes, and was presented briefly at the 1993 Copenhagen workshop on State in Programming Languages, ....
P Thiemann[1993], "Safe Sequencing of Assignments in Purely Functional Programming Languages," Tech. Report. Wilhelm-Schickard-Institut WSI-93i6, Tubingen, Germany.
Data Compression in Haskell with Imperative Extensions - A Case.. - Thiemann Self-citation (Thiemann) (Correct)
....when it is subjected to the function runST, which accepts a transformer, executes it, and returns its final result while discarding the final state. It serves to embed statebased computations in pure functional computations. The desired encapsulation is guaranteed by giving runST a special type [6, 15]. Simplified, every execution of runST generates a fresh state with a fresh type that does not occur anywhere else. Thus, mutable objects that are created and manipulated in a specific state cannot be manipulated in any other state, they are tied to their creating state by the state parameter in ....
Peter Thiemann. Safe sequencing of assignments in purely functional programming languages. Technical Report WSI-93-16, Wilhelm-Schickard-Institut, Tubingen, Germany, November 1993.
Towards a Denotational Semantics for Concurrent State Transformers - Thiemann (1995) Self-citation (Thiemann) (Correct)
No context found.
P. Thiemann. Safe sequencing of assignments in purely functional programming languages. Technical Report WSI-93-16, Wilhelm-Schickard-Institut, T#bingen, Germany, Nov. 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC