Mark P. Jones - RankMe

34 papers A* 5A 9B 1C 4Journal 7Unranked 8

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Partial type constructors: or, making ad hoc datatypes less ad hoc. Proc. ACM Program. Lang. Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg
2018	—	`conf`	MIL, a Monadic Intermediate Language for Implementing Functional Languages. IFL Mark P. Jones, Justin Bailey, Theodore R. Cooper
2013	J	`jnl`	Solving the snake cube puzzle in Haskell. J. Funct. Program. Mark P. Jones
2010	A	`conf`	Instance chains: type class programming without overlapping instances. ICFP J. Garrett Morris, Mark P. Jones
2008	A	`conf`	Experience report: playing the DSL card. ICFP Mark P. Jones
2008	C	`conf`	Language and program design for functional dependencies. Haskell Mark P. Jones, Iavor S. Diatchki
2008	A	`conf`	Polymorphism and page tables: systems programming from a functional programmer's perspective. ICFP Mark P. Jones
2007	—	`conf`	Writing systems software in a functional language: an experience report. PLOS@SOSP Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
2006	C	`conf`	Strongly typed memory areas programming systems-level data structures in a functional language. Haskell Iavor S. Diatchki, Mark P. Jones
2005	A	`conf`	A principled approach to operating system construction in Haskell. ICFP Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach
2005	A	`conf`	High-level views on low-level representations. ICFP Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
2005	A*	`conf`	Operating system construction in Haskell. SOSP Rebekah Leslie, Mark P. Jones
2004	J	`jnl`	Composing fractals. J. Funct. Program. Mark P. Jones
2002	C	`conf`	A formal specification of the Haskell 98 module system. Haskell Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren
2002	—	`conf`	Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black
2000	B	`conf`	Integrating Programming, Properties, and Validation. MPC Mark P. Jones
2000	A	`conf`	Type Classes with Functional Dependencies. ESOP Mark P. Jones
1997	A*	`conf`	First-class Polymorphism with Type Inference. POPL Mark P. Jones
1996	A*	`conf`	Using Parameterized Signatures to Express Modular Structure. POPL Mark P. Jones
1995	J	`jnl`	A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. J. Funct. Program. Mark P. Jones
1995	J	`jnl`	Dictionary-Free Overloading by Partial Evaluation. LISP Symb. Comput. Mark P. Jones
1995	—	`conf`	Functional Programming with Overloading and Higher-Order Polymorphism. Advanced Functional Programming Mark P. Jones
1995	A*	`conf`	Monad Transformers and Modular Interpreters. POPL Sheng Liang, Paul Hudak, Mark P. Jones
1995	—	`conf`	Programming with Constructor Classes (Abstract) PLILP Mark P. Jones
1995	—	`conf`	Simplifying and Improving Qualified Types. FPCA Mark P. Jones
1995	A	`conf`	Using Types to Parse Natural Language. Functional Programming Mark P. Jones, Paul Hudak, Sebastian Shaumyan
1994	J	`jnl`	A Theory of Qualified Types. Sci. Comput. Program. Mark P. Jones
1994	C	`conf`	Dictionary-Free Overloading by Partial Evaluation. PEPM Mark P. Jones
1994	—	`conf`	ML Typing, Explicit Polymorphism and Qualified Types. TACS Mark P. Jones
1993	—	`conf`	A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. FPCA Mark P. Jones
1993	A*	`conf`	Implementing Type Classes. PLDI John Peterson, Mark P. Jones
1992	A	`conf`	A Theory of Qualified Types. ESOP Mark P. Jones
1992	J	`jnl`	Computing with Lattices: An Application of Type Classes. J. Funct. Program. Mark P. Jones
1992	A	`conf`	Programming with Constructor Classes (Preliminary Summary). Functional Programming Mark P. Jones