1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Data types
• Functional languages
• Functional programming
• Procedural programming languages
• Standard ML
• Algebraic data type
• Tagged union
• Unification

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Source URL: dream.inf.ed.ac.uk

• Logic programming
• Constraint programming
• Logical consequence
• Statements
• Theorem
• Unification
• Lambda calculus
• Constraint logic programming
• Constraint satisfaction

T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods Jens Otten? Christoph Kreitz

Source URL: www.jens-otten.de

GAP.6, Berlin, Bayesianism, Unification and Coherence On Bayesian accounts of scientific concepts

Source URL: www.laeuferpaar.de

Using Semantic Unification to Generate Regular Expressions from Natural Language Nate Kushman Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {nkushman, regin

Source URL: people.csail.mit.edu

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Relation between Unification Problem and Intruder Deduction Problem

Source URL: www.lsv.ens-cachan.fr

DOC Document

Source URL: www.unification.org

Cognitive Science and the Connection between Physics and Mathematics Anshu Gupta Mujumdar and Tejinder Singh I. PHYSICS: EXPERIMENTS, UNIFICATION OF CONCEPTS, AND MATHEMATICS Mathematics is a precise language in which t

Source URL: fqxi.org

MuseoTorino: a new form of museum more than just a new museum Launched during the celebrations for the 150th Anniversary of Italian Unification, MuseoTorino is the new on line museum of the Città di Torino. An innovativ

Source URL: www.museotorino.it

20th International Conference on Supersymmetry and Unification of Fundamental Interactions---SUSY2012 LAST ANNOUNCEMENT 20th International Conference on Supersymmetry and Unification of Fundamental Interactions--SUSY2012

Source URL: www.phy.pku.edu.cn