Symbolic Pattern Matching in Clojure

    Research output: Contribution to conferencePaperpeer-review

    233 Downloads (Pure)


    This paper presents a symbolic pattern matcher developed for
    Clojure. The matcher provides new types of function definition,
    new conditional forms and new iterative structures. We argue that
    pattern matching and unification differ in significant ways that
    give them different semantics, both useful, and show that matcher
    capability is enhanced by allowing patterns to be dynamically
    created or embedded in data structures like rules and statechanging
    operators. We evaluate the matcher by experimentation,
    demonstrating that it can be used to simplify the specification of
    inference mechanisms as well as other types of code.
    Original languageEnglish
    Publication statusPublished - 20 Apr 2015
    Event8th European Lisp Symposium - Goldsmiths, University of London, London, United Kingdom
    Duration: 20 Apr 201521 Apr 2015


    Conference8th European Lisp Symposium
    Country/TerritoryUnited Kingdom
    Internet address


    Dive into the research topics of 'Symbolic Pattern Matching in Clojure'. Together they form a unique fingerprint.

    Cite this