publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2023

  1. A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈
    Bruno C. d. S. Oliveira Nick Rioux, and Steve Zdancewic
    In 50th Symposium on Principles of Programming Languages (POPL), 2023
  2. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations
    Han Xu, Xuejing Huang, and Bruno C. d. S. Oliveira
    In In 50th Symposium on Principles of Programming Languages (POPL), 2023

2022

  1. Union Types with Disjoint Switches
    Baber Rehman, Xuejing Huang, Ningning Xie, and 1 more author
    In 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
  2. Direct Foundations for Compositional Programming
    Andong Fan, Xuejing Huang, Han Xu, and 2 more authors
    In 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022

2021

  1. Taming the Merge Operator
    Xuejing Huang, Jinxu Zhao, and Bruno C. d. S. Oliveira
    Journal of Functional Programming, 2021
  2. Distributing intersection and union types with splits and duality (functional pearl)
    Xuejing Huang, and Bruno C d S Oliveira
    Proceedings of the ACM on Programming Languages, 2021
  3. Type-Directed Operational Semantics for Gradual Typing
    Wenjia Ye, Bruno C. d. S. Oliveira, and Xuejing Huang
    In 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021

2020

  1. A Type-Directed Operational Semantics for a Calculus with a Merge Operator
    Xuejing Huang, and Bruno C. d. S. Oliveira
    In 34th European Conference on Object-Oriented Programming, ECOOP, 2020