The SCEAS System
Navigation Menu

Conferences in DBLP

Scottish Functional Programming Workshops (sfp)
2004 (conf/sfp/2004)

  1. Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol
    Proof support for generic type classes. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:1-16 [Conf]
  2. Fermín Reig
    Generic proofs for combinator-based generic programs. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:17-32 [Conf]
  3. Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge
    Building certified components within FOCAL. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:33-48 [Conf]
  4. Graham Hutton, Joel Wright
    Calculating an exceptional machine. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:49-64 [Conf]
  5. Neil Ghani, Tarmo Uustalu, Varmo Vene
    Generalizing the AUGMENT combinator. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:65-78 [Conf]
  6. Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
    Alice through the looking glass. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:79-95 [Conf]
  7. László Németh
    Experiments with GHC's optimiser. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:97-111 [Conf]
  8. Sander Evers, Peter Achten, Rinus Plasmeijer
    Disjoint forms in graphical user interfaces. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:113-128 [Conf]
  9. Silvia Clerici, Cristina Zoltan
    A graphic functional-dataflow language. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:129-144 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002