Search the dblp DataBase
Mark P. Jones :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mark P. Jones Functional Programming with Overloading and Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP ] Advanced Functional Programming, 1995, pp:97-136 [Conf ] Mark P. Jones Type Classes with Functional Dependencies. [Citation Graph (0, 0)][DBLP ] ESOP, 2000, pp:230-244 [Conf ] Mark P. Jones A Theory of Qualified Types. [Citation Graph (0, 0)][DBLP ] ESOP, 1992, pp:287-306 [Conf ] Mark P. Jones Programming with Constructor Classes (Preliminary Summary). [Citation Graph (0, 0)][DBLP ] Functional Programming, 1992, pp:122-133 [Conf ] Mark P. Jones , Paul Hudak , Sebastian Shaumyan Using Types to Parse Natural Language. [Citation Graph (0, 0)][DBLP ] Functional Programming, 1995, pp:7- [Conf ] 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 ] Mark P. Jones Simplifying and Improving Qualified Types. [Citation Graph (0, 0)][DBLP ] FPCA, 1995, pp:160-169 [Conf ] 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 ] 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 ] 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 ] Mark P. Jones Integrating Programming, Properties, and Validation. [Citation Graph (0, 0)][DBLP ] MPC, 2000, pp:1- [Conf ] Mark P. Jones Dictionary-Free Overloading by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PEPM, 1994, pp:107-117 [Conf ] John Peterson , Mark P. Jones Implementing Type Classes. [Citation Graph (0, 0)][DBLP ] PLDI, 1993, pp:227-236 [Conf ] Mark P. Jones Programming with Constructor Classes (Abstract) [Citation Graph (0, 0)][DBLP ] PLILP, 1995, pp:26- [Conf ] Mark P. Jones Using Parameterized Signatures to Express Modular Structure. [Citation Graph (0, 0)][DBLP ] POPL, 1996, pp:68-78 [Conf ] Mark P. Jones First-class Polymorphism with Type Inference. [Citation Graph (0, 0)][DBLP ] POPL, 1997, pp:483-496 [Conf ] Sheng Liang , Paul Hudak , Mark P. Jones Monad Transformers and Modular Interpreters. [Citation Graph (0, 0)][DBLP ] POPL, 1995, pp:333-343 [Conf ] Mark P. Jones ML Typing, Explicit Polymorphism and Qualified Types. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:56-75 [Conf ] 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 ] 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 ] Mark P. Jones Composing fractals. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2004, v:14, n:6, pp:715-725 [Journal ] 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 ] 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 ] 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 ] Polymorphism and page tables: systems programming from a functional programmer's perspective. [Citation Graph (, )][DBLP ] Experience report: playing the DSL card. [Citation Graph (, )][DBLP ] Language and program design for functional dependencies. [Citation Graph (, )][DBLP ] Search in 0.085secs, Finished in 0.086secs