publications:
- title: "On the index of Simon's congruence for piecewise testability"
  author:
  - name: "Prateek Karandikar"
    link: "https://researchr.org/alias/prateek-karandikar"
  - name: "Manfred Kufleitner"
    link: "https://researchr.org/alias/manfred-kufleitner"
  - name: "Philippe Schnoebelen"
    link: "http://www.lsv.fr/~phs/"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.ipl.2014.11.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2014.11.008"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ipl/KarandikarKS15"
  researchr: "https://researchr.org/publication/KarandikarKS15"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "115"
  number: "4"
  pages: "515-519"
  kind: "article"
  key: "KarandikarKS15"
- title: "Refined Compilation of Pattern-Matching for Functional Languages"
  author:
  - name: "Philippe Schnoebelen"
    link: "http://www.lsv.fr/~phs/"
  year: "1988"
  doi: "https://doi.org/10.1016/0167-6423(88)90002-0"
  abstract: "This paper formally describes and studies an algorithm for compiling functions defined through pattern-matching. This algorithm improves on previous proposals by accepting an additional parameter: the domain over which the compiled function will be applied. Thes additional parameter allows the generation of better code, but it also simplifies the definition of the algorithm. The practical interest of this algorithm for the implementation of functional languages is deminstrated by several applications and/or extensions: conditional rewriting, equations between constructors,…."
  links:
    doi: "https://doi.org/10.1016/0167-6423(88)90002-0"
  tags:
  - "pattern language"
  - "pattern matching"
  researchr: "https://researchr.org/publication/Schnoebelen88-0"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "11"
  number: "2"
  pages: "133-159"
  kind: "article"
  key: "Schnoebelen88-0"
- title: "Refined Compilation of Pattern-Matching for Functional Languages"
  author:
  - name: "Philippe Schnoebelen"
    link: "http://www.lsv.fr/~phs/"
  year: "1988"
  doi: "https://doi.org/10.1007/3-540-50667-5_75"
  abstract: "This paper formally describes and studies an algorithm for compiling functions defined through pattern-matching. This algorithm improves on previous proposals by accepting an additional parameter: the domain over which the compiled function will be applied. This additional parameter simplifies the definition of the algorithm and suggests new applications. The practical interest of this algorithm for the implementation of functional languages is demonstrated by several applications and/or extensions: conditional rewriting, equations between constructors, ..."
  links:
    doi: "https://doi.org/10.1007/3-540-50667-5_75"
    successor: "https://researchr.org/publication/Schnoebelen88-0"
  tags:
  - "pattern language"
  - "pattern matching"
  researchr: "https://researchr.org/publication/Schnoebelen88"
  cites: 0
  citedby: 0
  pages: "233-243"
  booktitle: "International Workshop on Algebraic and Logic Programming"
  editor:
  - name: "Jan Grabowski"
    link: "https://researchr.org/alias/jan-grabowski"
  - name: "Pierre Lescanne"
    link: "https://researchr.org/alias/pierre-lescanne"
  - name: "Wolfgang Wechler"
    link: "https://researchr.org/alias/wolfgang-wechler"
  volume: "343"
  number: "1"
  series: "Lecture Notes in Computer Science"
  address: "Gaussig, GDR"
  publisher: "Springer"
  isbn: "3-540-50667-5"
  kind: "inproceedings"
  key: "Schnoebelen88"