scientific article; zbMATH DE number 6917249

DOI10.4230/LIPIcs.TYPES.2015.9zbMath1433.68081MaRDI QIDQ4580232

Yorick Sijsling, Flor João Paulo Pizani, Wouter Swierstra

Publication date: 13 August 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional programmingAgdadependently typed programminghardware description languagesEDSL

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Switching theory, applications of Boolean algebras to circuits and networks (94C11)

Uses Software

• Coq
• Haskell
• Coquet
• Lava
• muFP

Cites Work

• FM8501: a verified microprocessor
• Auto in Agda
• Coquet: A Coq Library for Verifying Hardware
• A Brief Overview of Agda – A Functional Language with Dependent Types
• Dependent types and formal synthesis
• The power of Pi
• Mathematics of Program Construction
• Correct Hardware Design and Verification Methods

This page was built for publication: