Carette - PDFSEARCH.IO - Document Search Engine

Carette
Results: 35

#	Item
1	Building blocks for exact and approximate inference Jacques Carette McMaster University Praveen Narayanan Add to Reading List Source URL: www.blackboxworkshop.org Language: English - Date: 2015-12-12 11:56:31
2	Mechanized Mathematics Jacques Carette1 1 Department of Computing and Software, McMaster University www.cas.mcmaster.ca/∼carette Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-06-04 07:38:09 Theoretical computer science Computability theory Recursion Subroutines Mathematics Usability
3	Typed Tagless Final Interpreters Oleg Kiselyov Abstract. The so-called ‘typed tagless final’ approach of Carette et al. [6] has collected and polished a number of techniques for representing Add to Reading List Source URL: okmij.org Language: English - Date: 2012-08-03 02:35:52
4	professors William Farmer & Jacques Carette Mechanising mathematics Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2013-05-23 14:39:30 Mathematical logic Theoretical computer science Philosophy of mathematics Symbolic computation Applied mathematics Algorithm Computer algebra system Mathematica Actor model Science Mathematics Mathematical software
5	SAGA: A DSL for Story Management Lucas Beyak Jacques Carette Department of Computing and Software, Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2011-08-15 11:40:22 Windows games Digital media Domain-specific language Video game censorship SaGa Game programmer Mass Effect Replay value Games Role-playing video games Software
6	Partial Evaluation of Maple ∗ Jacques Carette Department of Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-10-31 15:12:33 Functional languages Procedural programming languages Lambda calculus Cross-platform software Maple Maplesoft Partial evaluation Fixed-point combinator ALGOL 68 Software engineering Computing Computer programming
7	CALCULEMUSMining Maple Code for Contracts Jacques Carette 1 Stephen Forrest 2 Computing and Software McMaster University Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-09-07 12:33:54 Type theory Object-oriented programming Data types Cross-platform software Polymorphism Type system Object Subtype polymorphism Type inference Software engineering Computing Computer programming
8	CALCULEMUSPartial Evaluation and Residual Theorems in Computer Algebra Michael Kucera 1 Jacques Carette 2 Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-09-07 12:33:54 Cross-platform software Maple Maplesoft Partial evaluation ALGOL 68 Obfuscated code Dynamic programming Software engineering Computing Computer programming
9	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
10	Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code Jacques Carette 1 McMaster University, 1280 Main St. West, Hamilton, Ontario Canada L8S 4K1 Add to Reading List Source URL: okmij.org Language: English - Date: 2009-01-01 23:48:44 Numerical linear algebra Matrix theory Matrices LU decomposition Gaussian elimination Matrix Rank Determinant Cholesky decomposition Algebra Linear algebra Mathematics

UPDATE