• Correctness of an STM Haskell...
  • *Holdings*

*Result*: Correctness of an STM Haskell implementation

*Title*:
Correctness of an STM Haskell implementation / Manfred Schmidt-Schauß ; David Sabel
*Author/editor-in-chief*:
Schmidt-Schauß, Manfred (Verfasser); Sabel, David (Verfasser) 
*Edition*:
Version: 27. März 2013
*Publication*:
Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2013
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Technical report Frank ; 50
*show_all_volumes*

*Additional information*

*Additional functions*