Jacques Garrigue
Orcid: 0000-0001-8056-5519Affiliations:
- Nagoya University, Japan
According to our database1,
Jacques Garrigue
authored at least 34 papers
between 1994 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
1
1
1
2
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
1
1
2
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
J. Funct. Program., 2025
2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
2023
Math. Struct. Comput. Sci., 2023
2021
J. Funct. Program., 2021
2020
J. Autom. Reason., 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
2019
J. Inf. Process., 2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
J. Inf. Process., 2018
Proceedings of the International Symposium on Information Theory and Its Applications, 2018
2016
J. Inf. Process., 2016
Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes.
Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
2015
Math. Struct. Comput. Sci., 2015
Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
2014
2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
2010
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010
2006
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006
2005
Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January, 2005
2002
Relaxing the Value Restriction.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
2001
Simple Type Inference for Structural Polymorphism.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
1999
1998
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998
1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
1995
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995
1994
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994