Concepedia

Jacques Carette

JC

15

Publications

553

Citations

11

H-Index

2004

Active since

Affiliations

McMaster University(Current)

Rutgers Sexual and Reproductive Health and Rights

University of Waterloo

Jacques Carette is an author at McMaster University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationArtsDesignLanguageGame Design

Publications per year

2004–2022

15

Publications

15

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan · Journal of Functional Programming · 2009 · 263 citations · Full text

Engineering, Type Theory, Interpreter (Computing) +24

A kinetic model for the oxidation of silicon germanium alloys

Mohamed A. Rabie, Yaser M. Haddara, Jacques Carette · Journal of Applied Physics · 2005 · 43 citations

Engineering, Oxidation Resistance, Silicon On Insulator +17

Understanding expression simplification

Jacques Carette · 2004 · 38 citations

Magic Constants, Engineering, Abstract Complexity +13

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code

Jacques Carette, Oleg Kiselyov · Science of Computer Programming · 2008 · 32 citations

Engineering, Generic Programming, Program Analysis +14

Gaussian Elimination: A case study in efficient genericity with MetaOCaml

Jacques Carette · Science of Computer Programming · 2006 · 27 citations

Mathematical Programming, Engineering, Gaussian Elimination +8

Rows per page

1–5 of 15