A functional-logic library for wired

We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysing digital circuits at the VLSI-layout level. Compared to a previous library for logic programming by Claessen and Ljungl

• Type: Conference
• Year: 2007
• Where: HASKELL
• Authors: Matthew Naylor, Emil Axelsson, Colin Runciman
• Keywords: Embedded Domain-specific Language, HASKELL 2007, Haskell Library, Logical Data Types, Programming Languages