Conferences in DBLP

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

1. Kevin Millikin
   A new approach to one-pass transformations. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:1-13 [Conf]
   
2. Neil Mitchell, Colin Runciman
   A static checker for safe pattern matching in Haskell. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:15-30 [Conf]
   
3. Chris Ryder, Simon Thompson
   Software metrics: measuring Haskell. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:31-46 [Conf]
   
4. Martin Elsman
   Type-specialized serialization with sharing. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:47-62 [Conf]
   
5. Kenichi Asai
   Logical relations for call-by-value delimited continuations. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:63-78 [Conf]
   
6. James Chapman, Thorsten Altenkirch, Conor McBride
   Epigram reloaded: a standalone typechecker for ETT. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:79-94 [Conf]
   
7. Huiqing Li, Simon Thompson
   Formalisation of Haskell refactorings. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:95-110 [Conf]
   
8. Susumu Katayama
   Systematic search for lambda expressions. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:111-126 [Conf]
   
9. Morten Rhiger
   First-class open and closed code framgents. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:127-144 [Conf]
   
10. Tarmo Uustalu, Varmo Vene
    Comonadic functional attribute evaluation. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:145-162 [Conf]
    
11. Pieter W. M. Koopman, Rinus Plasmeijer
    Generic generation of the elements of data types. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:163-178 [Conf]
    
12. Daan Leijen
    Extensible records with scoped labels. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:179-194 [Conf]
    
13. Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
    The Embounded project (project start paper). [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:195-210 [Conf]
    
14. Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth Mackenzie, Alberto Momigliano, Olha Shkaravska
    Mobile Resource Guarantees (project evaluation paper). [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:211-226 [Conf]