The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark P. Jones: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mark P. Jones
    Functional Programming with Overloading and Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1995, pp:97-136 [Conf]
  2. Mark P. Jones
    Type Classes with Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:230-244 [Conf]
  3. Mark P. Jones
    A Theory of Qualified Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:287-306 [Conf]
  4. Mark P. Jones
    Programming with Constructor Classes (Preliminary Summary). [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1992, pp:122-133 [Conf]
  5. Mark P. Jones, Paul Hudak, Sebastian Shaumyan
    Using Types to Parse Natural Language. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:7- [Conf]
  6. Mark P. Jones
    A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP]
    FPCA, 1993, pp:52-64 [Conf]
  7. Mark P. Jones
    Simplifying and Improving Qualified Types. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:160-169 [Conf]
  8. Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
    High-level views on low-level representations. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:168-179 [Conf]
  9. Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach
    A principled approach to operating system construction in Haskell. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:116-128 [Conf]
  10. Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black
    Reactive Objects. [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:155-158 [Conf]
  11. Mark P. Jones
    Integrating Programming, Properties, and Validation. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:1- [Conf]
  12. Mark P. Jones
    Dictionary-Free Overloading by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1994, pp:107-117 [Conf]
  13. John Peterson, Mark P. Jones
    Implementing Type Classes. [Citation Graph (0, 0)][DBLP]
    PLDI, 1993, pp:227-236 [Conf]
  14. Mark P. Jones
    Programming with Constructor Classes (Abstract) [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:26- [Conf]
  15. Mark P. Jones
    Using Parameterized Signatures to Express Modular Structure. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:68-78 [Conf]
  16. Mark P. Jones
    First-class Polymorphism with Type Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:483-496 [Conf]
  17. Sheng Liang, Paul Hudak, Mark P. Jones
    Monad Transformers and Modular Interpreters. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:333-343 [Conf]
  18. Mark P. Jones
    ML Typing, Explicit Polymorphism and Qualified Types. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:56-75 [Conf]
  19. Mark P. Jones
    Computing with Lattices: An Application of Type Classes. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1992, v:2, n:4, pp:475-503 [Journal]
  20. Mark P. Jones
    A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:1, pp:1-35 [Journal]
  21. Mark P. Jones
    Composing fractals. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:6, pp:715-725 [Journal]
  22. Mark P. Jones
    Dictionary-Free Overloading by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:3, pp:229-248 [Journal]
  23. Mark P. Jones
    A Theory of Qualified Types. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:3, pp:231-256 [Journal]
  24. Iavor S. Diatchki, Mark P. Jones
    Strongly typed memory areas programming systems-level data structures in a functional language. [Citation Graph (0, 0)][DBLP]
    Haskell, 2006, pp:72-83 [Conf]

  25. Polymorphism and page tables: systems programming from a functional programmer's perspective. [Citation Graph (, )][DBLP]


  26. Experience report: playing the DSL card. [Citation Graph (, )][DBLP]


  27. Language and program design for functional dependencies. [Citation Graph (, )][DBLP]


Search in 0.071secs, Finished in 0.072secs
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