Louis-Julien Guillemette

According to our database, Louis-Julien Guillemette authored at least 6 papers between 2003 and 2009.

Collaborative distances:

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

2009

Type invariants for Haskell.

Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

2008

One Vote for Type Families in Haskell!

Louis-Julien Guillemette, Stefan Monnier

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

A type-preserving compiler in Haskell.

Louis-Julien Guillemette, Stefan Monnier

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A type-preserving closure conversion in haskell.

Louis-Julien Guillemette, Stefan Monnier

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2006

Type-Safe Code Transformations in Haskell.

Louis-Julien Guillemette, Stefan Monnier

Proceedings of the Programming Languages meets Program Verification, 2006

2003

Answer Formulation for Question-Answering.

Leila Kosseim, Luc Plamondon, Louis-Julien Guillemette

Proceedings of the Advances in Artificial Intelligence, 2003