Christiaan Baaij

According to our database, Christiaan Baaij authored at least 8 papers between 2009 and 2013.

Collaborative distances:

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

2013

Using Rewriting to Synthesize Functional Languages to Digital Circuits.

Christiaan Baaij, Jan Kuper

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

System-level modelling of dynamic reconfigurable designs using functional programming abstractions.

Bahram N. Uchevler, Kjetil Svarstad, Jan Kuper, Christiaan Baaij

Proceedings of the International Symposium on Quality Electronic Design, 2013

2012

A two step hardware design method using CλaSH.

Rinse Wester, Christiaan Baaij, Jan Kuper

Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

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

A mathematical approach towards hardware design.

Gerard J. M. Smit, Jan Kuper, Christiaan P. R. Baaij

Proceedings of the Dynamically Reconfigurable Architectures, 11.07. - 16.07.2010, 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