以下选定出版物按时间倒序列出（最近的出版物排在第一位）。请检查通知在本页末尾。

制定和验证隐私和数据安全问题量表（PDSCS）。Grant M.Brady、Donald M.Truxillo、Talya N.Bauer和Mark P.Jones。在国际评选杂志, 2021.

隐私和网络安全挑战、机遇和建议：在线应用时代的人才选拔系统和大数据。Talya N.Bauer、Donald M.Truxillo和MarkP.Jones和Grant Brady。在心理学大数据研究; 华盛顿特区：美国心理协会图书，国际标准图书编号：978-1-4338-3167-6。2020

分部类型构造函数或使特殊数据类型不那么特殊。Mark P.Jones、J.Garrett Morris和Richard A.Eisenberg。在ACM程序设计语言4，POPL，第40条（2020年1月）。

MIL，实现函数语言的一元中间语言马克·琼斯、贾斯汀·贝利和西奥多·库珀。在第三十届函数式语言实现与应用研讨会（IFL 2018）会议记录，2018年9月5日-7日，美国马萨诸塞州洛厄尔。

在Haskell中解决蛇形方块难题。马克·琼斯。函数编程杂志2013年3月23日（2）。

实例链：类型类编程没有重叠实例。J.Garrett Morris和Mark P.Jones。在第十五届ACM SIGPLAN国际功能会议记录编程（ICFP’10），马里兰州巴尔的摩，2010年9月27日至29日。

语言和程序设计功能依赖性。Mark P.Jones和Iavor Diatchki。在ACM Haskell研讨会会议记录（Haskell'08）,加拿大不列颠哥伦比亚省维多利亚市，2008年9月25日。

体验报告：玩DSL卡，用于组件配置的域特定语言。马克·琼斯。在第13届ACM国际功能会议记录编程（ICFP’08）加拿大不列颠哥伦比亚省维多利亚州，2008年9月22日。

在函数中编写系统软件语言：经验报告。伊沃·S·迪亚奇基、托马斯·哈格伦、马克·琼斯、丽贝卡·莱斯利、，和安德鲁·托尔马赫。在第四届程序设计语言研讨会会议记录和操作系统（PLOS 2007）由ACM SIGOPS赞助，史蒂文森，华盛顿，2007年10月。

强类型内存区域。Iavor S.Diatchki和Mark P.Jones。在ACM SIGPLAN 2006 Haskell研讨会论文集,俄勒冈州波特兰，2006年9月。

程序设计中的证据管理。马克·琼斯。在2005年自动化软件工程研讨会论文集软件证书管理（SoftCeMent’05）,2005年11月，加利福尼亚州长滩。

高层对低级代表的看法。伊沃·S·迪亚奇基（Iavor S.Diatchki）、马克·P·琼斯（Mark P.Jones）和丽贝卡·莱斯利（Rebekah Leslie）。在国际会议记录函数编程（ICFP 2005）2005年9月，爱沙尼亚塔林。

操作的原则方法Haskell中的系统构建。托马斯·哈格伦（Thomas Hallgren）、马克·琼斯（Mark Jones）、安德鲁·托尔马赫（Andrew Tolmach）和丽贝卡·莱斯利（Rebekah Leslie）。在国际职能会议记录编程（ICFP 2005）2005年9月，爱沙尼亚塔林。

合成分形（功能珍珠）。马克·琼斯。函数编程杂志2004年11月14日（6）。

Haskell 98的形式规范模块系统。伊沃·迪亚奇基（Iavor S.Diatchki）、马克·琼斯（Mark P.Jones）和托马斯·哈格伦（Thomas Hallgren）。在ACM SIGPLAN 2002 Haskell研讨会会议记录,宾夕法尼亚州匹兹堡，2002年10月。

组合和控制：编程木材机器人。Mark P.Jones、Magnus Carlsson和Johan Nordlander。技术报告。计算机科学与工程系，OHSU OGI科学与工程学院，2002年9月。

处理证据：程序证书摘要。马克·琼斯。计算机科学与工程系，OHSU OGI科学与工程学院，2002年1月。

AspectJ的本质。马克·琼斯。技术报告。计算机科学与工程系，OHSU OGI科学与工程学院，2001年3月。

反应对象。约翰·诺德兰德（Johan Nordlander）、马克·琼斯（Mark Jones）、马格努斯·卡尔松（Magnus Carlsson）、迪克·基伯茨（Dick Kieburtz）、，和安德鲁·布莱克。在第五届IEEE国际研讨会会议记录面向对象的实时分布式计算（ISORC 2002）,弗吉尼亚州阿灵顿，2002年。

具有函数依赖关系的类型类,马克·琼斯，在第九届欧洲编程研讨会会议记录，2000年员工持股计划2000年3月，德国柏林，Springer-Verlag LNCS 1782。

输入Haskell,马克·琼斯，在1999年哈斯克尔研讨会会议记录、巴黎、，法国，1999年10月。发布于技术报告UU-CS-1999-28，乌得勒支大学计算机科学系。

Haskell的轻量级可扩展记录,马克·琼斯和西蒙·佩顿·琼斯。在1999年哈斯克尔研讨会会议记录、巴黎、，法国，1999年10月。发布于技术报告UU-CS-1999-28，乌得勒支大学计算机科学系。

探索基于类型的隐式参数化的设计空间,Mark P.Jones，俄勒冈州科学技术研究生院，技术报告，1999年7月。

Java字节码的功能,马克·琼斯。在OOPSLA’98正式研讨会会议记录Java的基础1998年10月，加拿大不列颠哥伦比亚省温哥华。

类型课程：探索设计空间,西蒙·佩顿·琼斯、马克·琼斯、埃里克·梅耶尔，在Haskell研讨会会议记录、阿姆斯特丹、，荷兰，1997年6月6日。

具有类型推断的一类多态性,马克·琼斯，在第二十四届ACM SIGPLAN-SIGACT年度研讨会会议记录程序设计语言原理、巴黎、法国、，1997年1月15日至17日。

可扩展记录的多态类型系统和变体,Benedict R.Gaster和Mark P.Jones，技术报告NOTTCS-TR-96-3，1996年11月，诺丁汉大学计算机科学系，英国诺丁汉NG7 2RD大学公园。

拥抱1.3，Haskell用户的Gofer系统：用户手册,马克·琼斯，技术报告NOTTCS-TR-96-2，1996年8月，函数编程研究小组，诺丁汉大学计算机科学系，英国诺丁汉NG7 2RD。

使用参数化签名表示模块化结构,马克·琼斯，在第二十三届ACM SIGPLAN-SIGACT年会会议记录程序设计语言原理佛罗里达州圣彼得堡海滩，1996年1月21日至24日。

使用类型分析自然语言,Mark P.Jones、Paul Hudak和Sebastian Shaumyan，在函数编程格拉斯哥研讨会论文集,1995年7月，苏格兰阿尔浦。将在Springer-Verlag上发布计算机科学系列研讨会。

从Hindley-Milner类型到一级结构,马克·琼斯，哈斯克尔研讨会论文集，耶鲁大学加利福尼亚州拉荷亚研究报告YALEU/DCS/RR-10751995年6月25日。

具有重载和高阶多态性的函数编程马克·琼斯，第一所高级函数编程国际春季学校技术，瑞典B{\aa}stad，Springer-Verlag计算机讲稿科学9251995年5月。

单声道变压器和模块化口译员,盛亮（Sheng Liang）、保罗·哈达克（Paul Hudak）和马克·琼斯（Mark P.Jones），在1995年POPL大会记录：第22届ACMSIGPLAN-SIGACT编程语言原理研讨会,加利福尼亚州旧金山，1995年1月。

合格类型：理论与实践,马克·琼斯，剑桥大学出版社，1994年11月。

通过部分求值实现字典自由重载,马克·琼斯，ACM SIGPLAN部分评估和基于语义的程序研讨会操纵，佛罗里达州奥兰多，1994年6月。

简化和改进合格类型,马克·琼斯，研究报告YALEU/DCS/RR-1040，耶鲁大学，康涅狄格州纽黑文，美国，1994年6月。（较短的修订版，无校样，出现在1995年FPCA：函数编程语言和计算机体系结构会议,加利福尼亚州拉霍拉，1995年6月。）

Gofer函数式编程系统的实现,马克·琼斯，研究报告YALEU/DCS/RR-1030，耶鲁大学，康涅狄格州纽黑文，美国，1994年5月。

ML类型、显式多态性和限定类型马克·琼斯，在TACS’94：计算机软件理论方面会议,日本仙台，Springer-Verlag计算机科学讲稿，789，1994年4月。

创作单曲,Mark P.Jones和Luc Duponcheel，研究报告YALEU/DCS/RR-1004，耶鲁大学，康涅狄格州纽黑文，美国，1993年12月。

合格类型的一致性,马克·琼斯，研究报告YALEU/DCS/RR-989，耶鲁大学，康涅狄格州纽黑文，美国，1993年9月。

Haskell中的隐式和显式并行编程马克·琼斯和保罗·哈达克，研究报告YALEU/DCS/RR-982，耶鲁大学，康涅狄格州纽黑文，美国，1993年8月。

构造函数类系统：重载和隐式高阶多态,马克·琼斯，在93年FPCA：函数式编程语言会议和计算机体系结构1993年6月，丹麦哥本哈根。（以扩展形式出现在功能杂志编程剑桥大学出版社，1995年1月。）

实现类型类,约翰·彼得森和马克·琼斯，在ACM SIGPLAN编程语言研讨会论文集设计和实施ACM SIGPLAN，1993年6月。

格计算：类型类的应用马克·琼斯，函数编程杂志，2，4，剑桥大学出版社，1992年10月。

限定类型理论,马克·琼斯，在92年ESOP：欧洲规划研讨会、雷恩、法国、，Springer-Verlag计算机科学讲稿，5821992年2月。

通知

满足某些出版商关于发行的条件在我的网络论文中，我被要求包括以下内容：

这些目录中包含的文档由贡献作者作为确保及时传播非商业性的学术和技术工作。版权和其中的所有权利由作者或其他版权维护持有者，尽管他们在这里提供了他们的作品电子方式。据了解，所有复制此文件的人信息将遵循每个人调用的条款和约束作者的版权。如果没有明确的版权持有人的书面许可。