VSL 2014: VIENNA SUMMER OF LOGIC 2014

HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell

Author: Andrew Gill

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell
Authors:Andrew Gill
Proceedings:WPTE 2014 VSL Proceedings
Editors: Manfred Schmidt-Schauss, David Sabel, Masahiko Sakai and Yuki Chiba
Keywords:
Abstract:
Pages:1
Talk:Jul 13 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program