Daniel Patterson

Affiliations:
  • Northeastern University, Boston, MA, USA


According to our database1, Daniel Patterson authored at least 9 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Semantic Encapsulation using Linking Types.
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022
Semantic soundness for language interoperability.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2019
The next 700 compiler correctness theorems (functional pearl).
Proc. ACM Program. Lang., 2019

Oxide: The Essence of Rust.
CoRR, 2019

2018
Rust Distilled: An Expressive Tower of Languages.
CoRR, 2018

2017
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

FunTAL: reasonably mixing a functional language with assembly.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2014
CaptainTeach: multi-stage, in-flow peer review for programming assignments.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2013
Python: the full monty.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013


  Loading...