Programmable Type Systems for Domain Specific Languages

This publication has 12 references indexed in Scilit:

• Type classes with more higher-order polymorphism
  Published by Association for Computing Machinery (ACM) ,2002
• Polytypic values possess polykinded types
  Science of Computer Programming, 2002
• Functional logic overloading
  ACM SIGPLAN Notices, 2002
• Derivable Type Classes
  Electronic Notes in Theoretical Computer Science, 2001
• Type Classes with Functional Dependencies
  Published by Springer Nature ,2000
• Type inference with constrained types
  Theory and Practice of Object Systems, 1999
• A unified computation model for functional and logic programming
  Published by Association for Computing Machinery (ACM) ,1997
• State in Haskell
  Higher-Order and Symbolic Computation, 1995
• The integration of functions into logic programming: From theory to practice
  The Journal of Logic Programming, 1994
• Derivatives of Regular Expressions
  Journal of the ACM, 1964