Conferences in DBLP

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

1. Jean-François Monin, Judicaël Courant
   Proving termination using dependent types: the case of XOR-terms. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:1-18 [Conf]
   
2. Yong Luo, Olaf Chitil
   Proving the correctness of algorithmic debugging for functional programs. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:19-34 [Conf]
   
3. Pieter W. M. Koopman, Rinus Plasmeijer
   Systematic synthesis of functions. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:35-54 [Conf]
   
4. Jan Christiansen, Frank Huch
   A purely functional implementation of ROBDDs in Haskell. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:55-71 [Conf]
   
5. Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer
   Efficient interpretation by transforming data types and patterns to functions. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:73-90 [Conf]
   
6. Anton Setzer
   Object-oriented programming in dependent type theory. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:91-108 [Conf]
   
7. Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
   A sharing analysis for SAFE. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:109-128 [Conf]
   
8. Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa
   Memory usage improvement using runtime alias detection. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:129-144 [Conf]
   
9. Martin Grabmüller
   A model of functional programming with dynamic compilation and optimization. [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2006, pp:145-161 [Conf]
   
10. Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
    Functional concepts in C++. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:163-179 [Conf]
    
11. Sebastian Fischer
    Resource-based Web applications. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:181-197 [Conf]
    
12. Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh
    Extensible and modular generics for the masses. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:199-216 [Conf]
    
13. Pablo Nogueira
    When is an abstract data type a functor? [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:217-231 [Conf]