Home Advanced Search

Advanced Search - Page 1

Effective Theories in Programming Practice
Effective Theories in Programming Practice
  • PDF
  • English
  • Year: 2022
  • Author: Jayadev Misra
Logic, Automata, and Computational Complexity. The Works of Stephen A. Cook
  • PDF
  • English
  • Year: 2023
  • Author: Bruce M. Kapron
Haskell '13 : proceedings of the 2013 ACM SIGPLAN Haskell Symposium : September 23-24, 2013, Boston, Massachusetts, USA
  • PDF
  • English
  • Year: 2013
  • Author: Shan C.-C. (ed.)
Haskell'09: proceedings of 2009 ACM SIGPLAN Haskell symposium
Haskell'09: proceedings of 2009 ACM SIGPLAN Haskell symposium
  • PDF
  • English
  • Year: 2009
  • Author: Weirich S. (ed.)
Haskell'07: proceedings of 2007 ACM SIGPLAN Haskell workshop
Haskell'07: proceedings of 2007 ACM SIGPLAN Haskell workshop
  • PDF
  • English
  • Year: 2007
  • Author: Keller G. (ed.)
Haskell'08: proceedings of ACM SIGPLAN 2008 Haskell symposium
  • PDF
  • English
  • Year: 2008
  • Author: Gill A. (ed.)
Haskell'12: proceedings of ACM SIGPLAN 2012 Haskell symposium
Haskell'12: proceedings of ACM SIGPLAN 2012 Haskell symposium
  • PDF
  • English
  • Year: 2012
  • Author: Voigtlaender J. (ed.)
Haskell'03: proceedings of ACM SIGPLAN 2003 Haskell workshop
Haskell'03: proceedings of ACM SIGPLAN 2003 Haskell workshop
  • PDF
  • English
  • Year: 2003
  • Author: Jeuring J.
Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
  • PDF
  • English
  • Year: 2023
  • Author: Bruce M Kapron (editor)
Haskell’09 Proceedings of the 2009 ACM SIGPLAN Haskell Symposium
Haskell’09 Proceedings of the 2009 ACM SIGPLAN Haskell Symposium
  • PDF
  • English
  • Year: 2009
  • Author: Stephanie Weirich Haskell’09 Program Chair
search