Matthijs Kooijman

According to our database, Matthijs Kooijman authored at least 4 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Higher-Order Abstraction in Hardware Descriptions with C?aSH.

Marco Gerards, Christiaan Baaij, Jan Kuper, Matthijs Kooijman

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

Exercises in Architecture Specification Using CLaSH.

Jan Kuper, Christiaan Baaij, Matthijs Kooijman

Proceedings of the 2010 Forum on specification & Design Languages, 2010

C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell.

Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Arjan Boeijink, Marco Gerards

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

2009

Tool DemonstrationCLasHFrom Haskell to Hardware.

Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009