Sciweavers

Share
HASKELL
2007
ACM

A functional-logic library for wired

8 years 7 months ago
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
Matthew Naylor, Emil Axelsson, Colin Runciman
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where HASKELL
Authors Matthew Naylor, Emil Axelsson, Colin Runciman
Comments (0)
books