J Carette, O Kiselyov, C Shan

Journal of Functional Programming 19 (5), 509-543, 2009

P Narayanan, J Carette, W Romano, CS Shan, R Zinkov

Functional and Logic Programming 9613, 62-79, 2016

J Carette, O Kiselyov, CC Shan

Asian Symposium on Programming Languages and Systems, 222-238, 2007

MA Rabie, YM Haddara, J Carette

Journal of applied physics 98 (7), 2005

J Carette

Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004

M Peacocke, RJ Teather, J Carette, IS MacKenzie

2015 IEEE Games Entertainment Media Conference (GEM), 1-8, 2015

J Carette, O Kiselyov

Science of Computer Programming 76 (5), 349-375, 2011

J Carette

Science of Computer Programming 62 (1), 3-24, 2006

J Carette, O Kiselyov

International Conference on Generative Programming and Component Engineering …, 2005

JZS Hu, J Carette

Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021

J Carette, WM Farmer, M Kohlhase, F Rabe

The Mathematical Intelligencer 43, 78-87, 2021

J Carette, WM Farmer

International Conference on Intelligent Computer Mathematics, 233-246, 2009

J Carette, L Dixon, CS Coen, SM Watt

Lecture Notes in Computer Science 5625, 2009

M Peacocke, RJ Teather, J Carette, IS MacKenzie, V McArthur

Entertainment computing 26, 41-58, 2018

J Carette, A Sabry

European Symposium on Programming, 123-148, 2016

SA Abramov, JJ Carette, KO Geddes, HQ Le

Journal of Symbolic Computation 38 (4), 1303-1326, 2004

D Szymczak, S Smith, J Carette

2016 IEEE/ACM International Workshop on Software Engineering for Science …, 2016

J Carette, C Shan

Practical Aspects of Declarative Languages: 18th International Symposium …, 2016

J Carette, R O’Connor

International Conference on Intelligent Computer Mathematics, 202-215, 2012

W Kahl, CK Anand, J Carette

Relational Methods in Computer Science, 147-160, 2005