Travelled to:
1 × Estonia
1 × France
3 × USA
Collaborated with:
M.Kucera O.Kiselyov A.Stump P.K.Chowdhury A.Sabry M.Elsheikh S.Smith M.Al-hassy W.Kahl
Talks about:
overhead (2) abstract (2) program (2) partial (2) languag (2) generic (2) functor (2) elimin (2) stage (2) multi (2)
Person: Jacques Carette
DBLP: Carette:Jacques
Contributed to:
Wrote 9 papers:
- PEPM-2012-CaretteS #towards #type system
- Towards typing for small-step direct reflection (JC, AS), pp. 93–96.
- PEPM-2011-CaretteES #generative #geometry #kernel
- A generative geometric kernel (JC, ME, SS), pp. 53–62.
- PEPM-2007-CaretteK #partial evaluation
- Partial evaluation of Maple (JC, MK), pp. 41–50.
- PEPM-J-2007-CaretteK11a #partial evaluation
- Partial evaluation of Maple (JC, MK), pp. 469–491.
- GPCE-2005-CaretteK #abstraction #monad #multi #programming
- Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code (JC, OK), pp. 256–274.
- GPCE-J-2005-CaretteK11 #abstraction #monad #multi #programming
- Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code (JC, OK), pp. 349–375.
- WCRE-2005-CaretteC #assembly #legacy
- Symbolic Interpretation of Legacy Assembly Language (JC, PKC), pp. 23–32.
- GPCE-2019-Al-hassyCK
- A language feature to unbundle data at will (short paper) (MAh, JC, WK), pp. 14–19.
- ESOP-2016-CaretteS
- Computing with Semirings and Weak Rig Groupoids (JC, AS), pp. 123–148.