The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simon J. Thompson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Simon Thompson
    Refactoring Functional Programs. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 2004, pp:331-357 [Conf]
  2. Simon Thompson
    Are Subsets Necessary in Martin-Löf Type Theory? [Citation Graph (0, 0)][DBLP]
    Constructivity in Computer Science, 1991, pp:46-57 [Conf]
  3. Gem Stapleton, John Howse, John Taylor, Simon Thompson
    What Can Spider Diagrams Say? [Citation Graph (0, 0)][DBLP]
    Diagrams, 2004, pp:112-127 [Conf]
  4. Peter King, Patrick Schmitz, Simon Thompson
    Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation. [Citation Graph (0, 0)][DBLP]
    ACM Symposium on Document Engineering, 2004, pp:57-66 [Conf]
  5. Peter King, Helen Cameron, Howard Bowman, Simon Thompson
    Synchronization in Multimedia Documents. [Citation Graph (0, 0)][DBLP]
    EP, 1998, pp:355-369 [Conf]
  6. Simon Thompson
    Formulating Haskell. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1992, pp:258-268 [Conf]
  7. Simon J. Thompson, Steve Hill
    Functional Programming Through the Curriculum. [Citation Graph (0, 0)][DBLP]
    FPLE, 1995, pp:85-102 [Conf]
  8. Erik Poll, Simon Thompson
    Integrating Computer Algebra and Reasoning through the Type System of Aldor. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:136-150 [Conf]
  9. Simon J. Thompson
    Laws in Miranda. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:1-12 [Conf]
  10. Simon J. Thompson
    Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:323-334 [Conf]
  11. Huiqing Li, Simon Thompson
    Comparative Study of Refactoring Haskell and Erlang Programs. [Citation Graph (0, 0)][DBLP]
    SCAM, 2006, pp:197-206 [Conf]
  12. Howard Bowman, Simon Thompson
    A Tableau Method for Interval Temporal Logic with Projection. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:108-123 [Conf]
  13. Gem Stapleton, John Howse, John Taylor, Simon Thompson
    The Expressiveness of Spider Diagrams Augmented with Constants. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2004, pp:91-98 [Conf]
  14. Patrick Schmitz, Simon Thompson, Peter King
    Presentation Dynamism in XML Functional Programming meets SMIL Animation. [Citation Graph (0, 0)][DBLP]
    WWW (Posters), 2003, pp:- [Conf]
  15. Simon J. Thompson, Rafael Dueire Lins
    The Categorical Multi-Combinator Machine: CMCM. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:2, pp:170-176 [Journal]
  16. Huiqing Li, Simon Thompson, Claus Reinke
    The Haskell Refactorer, HaRe, and its API. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:4, pp:29-34 [Journal]
  17. Simon J. Thompson
    A Logic for Miranda. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1989, v:1, n:4, pp:339-365 [Journal]
  18. Simon J. Thompson
    A Logic for Miranda, Revisited. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:4, pp:412-429 [Journal]
  19. Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones
    On the Equivalence Between CMC and TIM. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:1, pp:47-63 [Journal]
  20. Simon J. Thompson
    A functional reactive animation of a lift using Fran. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:3, pp:245-268 [Journal]
  21. Simon J. Thompson, Philip Wadler
    Functional Programming in Education - Introduction. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:1, pp:3-4 [Journal]
  22. Simon J. Thompson
    Lawful Functions and Program Verification in Miranda. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:13, n:1, pp:181-218 [Journal]
  23. Rafael Dueire Lins, Simon J. Thompson
    Implementing SASL using Categorical Multi-combinators. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1990, v:20, n:11, pp:1137-1165 [Journal]
  24. Huiqing Li, Simon Thompson
    Formalisation of Haskell refactorings. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:95-110 [Conf]
  25. Chris Ryder, Simon Thompson
    Software metrics: measuring Haskell. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:31-46 [Conf]
  26. Octavian Patrascoiu, Simon Thompson, Peter Rodgers
    Tableaux for Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP]
    DMS, 2005, pp:279-286 [Conf]
  27. Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor
    A New Language for the Visualization of Logic and Reasoning. [Citation Graph (0, 0)][DBLP]
    DMS, 2005, pp:287-292 [Conf]

  28. Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. [Citation Graph (, )][DBLP]


  29. Fragments of Spider Diagrams of Order and Their Relative Expressiveness. [Citation Graph (, )][DBLP]


  30. Declarative extensions of XML languages. [Citation Graph (, )][DBLP]


  31. Refactoring Functional Programs at the University of Kent. [Citation Graph (, )][DBLP]


  32. Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse. [Citation Graph (, )][DBLP]


  33. Testing Erlang Refactorings with QuickCheck. [Citation Graph (, )][DBLP]


  34. Similar Code Detection and Elimination for Erlang Programs. [Citation Graph (, )][DBLP]


  35. Clone detection and removal for Erlang/OTP within a refactoring environment. [Citation Graph (, )][DBLP]


  36. Mechanical verification of refactorings. [Citation Graph (, )][DBLP]


  37. Tool support for refactoring functional programs. [Citation Graph (, )][DBLP]


  38. Clone detection and elimination for Haskell. [Citation Graph (, )][DBLP]


  39. Improved Testing through Refactoring: Experience from the ProTest Project. [Citation Graph (, )][DBLP]


  40. Programming Errors in Traversal Programs Over Structured Data. [Citation Graph (, )][DBLP]


Search in 0.199secs, Finished in 0.201secs
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