انتشارات Acm Comp
Haskell'08: proceedings of ACM SIGPLAN 2008 Haskell symposium
Gill A. (ed.), 2008
Haskell'09: proceedings of 2009 ACM SIGPLAN Haskell symposium
Weirich S. (ed.), 2009
Haskell'10: proceedings of 2010 ACM SIGPLAN Haskell symposium
Gibbons J. (ed.), 2010
Haskell'12: proceedings of ACM SIGPLAN 2012 Haskell symposium
Voigtlaender J. (ed.), 2012
Haskell’09 Proceedings of the 2009 ACM SIGPLAN Haskell Symposium
Stephanie Weirich Haskell’09 Program Chair, 2009
ICFP’10 Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming
Stephanie WeirichICFP’10 Program Chair
Parsing and compiling using Prolog
JACQUES COHEN, 1987
Proceedings 4th Workhop on Scala ECOOP'13
Miller H., 2013
Proceedings ISSAC 2010 (Munich)
Unknown, 2010
Ramsey methods in analysis
Argyros S., 2005
Storing a Sparse Table
Tarjan, 1979
Storing a Sparse Table
Tarjan, 1979
Verified Functional Programming in Agda
Aaron Stump, 2016
Communications of the ACM - September 2016
Moshe Y. Vardi (Editor-in-Chief), 2016
Haskell'15: proceedings of 8th 2015 ACM SIGPLAN Haskell workshop
Lippmeier, Ben(eds.), 2015
Text Data Management and Analysis: A Practical Introduction to Information Retrieval and Text Mining
ChengXiang Zhai, Sean Massung, 2016
Shared-Memory Parallelism Can Be Simple, Fast, and Scalable
Julian Shun, 2017
Verified Functional Programming in Agda
Aaron Stump, 2016
The Essentials Of Modern Software Engineering: Free The Practices From The Method Prisons!
Ivar Jacobson, Harold “Bud” Lawson, Pan-Wei Ng, Paul E. McMahon, Michael Goedicke, 2019
