Type Classes

<ul>
  <li> John Peterson and Mark P. Jones (PLDI'93) <a href="pldi93.ps">Implementing Type Classes</a>
  <li> Mark P. &nbsp;Jones (FPCA'93) <a href="fpca93.ps">A system of constructor classes: overloading and implicit higher-order polymorphism.</a>
  <li> Mark P. Jones (ESOP'92) <a href="rev-qual-types.ps">A theory of qualified types</a>
</ul>

<p>
Functional Dependencies
 <ul>
   <li> Mark P.&nbsp;Jones. (ESOP 2000) <a href="fundeps.pdf" title="fundeps.pdf">Type Classes with Functional Dependencies</a>
   <li> Mark P. Jones. <a href="note_on_fundep.ps">A Note on Functional Dependencies</a>
 </ul>

<p>
Implicit Parameters
 <ul>
   <li> Jeffrey R. Lewis, Mark B. Shields, Erik Meijer, John Launchbury (POPL'00)
        <a href="implicit.pdf">Implicit Parameters: Dynamic Scoping with Static Types</a>
 </ul>

<p>
Generic Unification
  <ul>
    <li> Tim Sheard (ICFP'01) <a href="GenUnify.ps">Generic Unfication via Two-level Types and Parameterized Modules</a>
  </ul>

<p>
Graph Algorithms
  <ul>
    <li> David King and John Launchbury (POPL'95) <a href="DepthFirstSearchLaunchbury.ps">Structuring Depth First Search Algorithms in Haskell</a>
    <li> Martin Erwig (JFP.11.5 2001) <a href="InductiveGraphs_JFP01.ps">Inductive Graphs and Functional Graph Algorithms</a>
  </ul>

<p>
Representing Types
  <ul>
    <li> Zhe Yang (POPL'98) <a href="zhe99encoding.ps">Encoding Types in ML-like Languages</a>
    <li> Arthur I. Baars and S. Doaitse Swierstra (ICFP'02) <a href="">Typing Dynamic Typing</a>
    <li> James Cheney and Ralf Hinze (Haskell Workshop'02) <a href="HinzeLightWeigtGenericsDynamics.ps">
            A Lightweight Implementation of Generics and Dynamics</a>
  </ul>
<p>
Testing Functional Programs
  <ul>
    <li> Koen Claussen and John Hughes (ICFP'00) <A HREF="quickCheckHughes.ps">QuickCheck: A lightweight Tool for Random Testing of Haskell Programs</A>

    <li> The Hunit system. <a href=http://hunit.sourceforge.net/HUnit-1.0/Guide.html>Link to users manual</a>
  </ul>


<p>
Meta Programming
 <ul>
   <li> Walid Taha and Tim Sheard (PEPM'97)
        <A HREF="PepmMulStg97.ps">Multi-Stage Programming with Explicit Annotations</A>
   <li> Tim Sheard (LNCS 1129)
        <A HREF="metamlBragaSchool.ps">Using MetaML: A staged Programming Language</A>
   <li> Tim Sheard (SAIG'01)
        <A HREF="AccomplishChallengeMeta.ps">Accomplishments and Research Challenges in Meta-Programming</A>
 </ul>

<p>

Algebras and CoAlgebras
 <ul>
   <li> Bart Jacobs and Jan Rutten
        <A HREF="jacobs97tutorial.ps">A Tutorial on (Co)Algebras and (Co)Induction</A>
 </ul>

<p>

<A HREF="../index.html"> Back</A> to CSE583 Home Page