% @string(apal="Annals of Pure and Applied Logic")

@Article{Aehlig07b,
  author =       {Aehlig, Klaus},
  title =        {Parameter-Free Polymorphic Types},
  journal =      apal,
  year =         {2008},
  volume =       156,
  pages =        {3--12}
}
%% DOI: 10.1016/j.apal.2008.06.002