机译:使用Haskell实现嵌入式硬件描述语言
机译:使用Haskell的Map-Reduce-Merge的抽象描述方法
机译:使用Haskell的Map-Reduce-Merge的抽象描述方法
机译:C?aSH:使用Haskell的同步硬件的结构说明
机译:Liquid Haskell:Haskell作为定理证明。
机译:使用量子硬件描述语言规范光子电路
机译:CλasH:使用Haskell的同步硬件的结构描述
机译:HOp :(作为对象和进程查看的硬件)同步硬件语义的过程模型和过程组合中的实验