Benjamin C. Pierce

CoRR, 2024

Tyche: Making Sense of PBT Effectiveness.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 2024

Property-Based Testing in Practice.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Etna: An Evaluation Platform for Property-Based Testing (Experience Report).

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., August, 2023

Reflecting on Random Generation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., August, 2023

Reflecting on Random Generation: Reflective Generators Development and Experiments.

[BibT_eX]

[DOI]

Dataset, May, 2023

Stream Types.

[BibT_eX]

[DOI]

CoRR, 2023

Tyche: In Situ Analysis of Random Testing Effectiveness.

[BibT_eX]

[DOI]

Andrew Head

Proceedings of the Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 2023

Formalizing Stack Safety as a Security Property.

[BibT_eX]

[DOI]

Sean Noble Anderson

Roberto Blanco

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

C4: verified transactional objects.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Parsing randomness.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

On being a PhD student of Robert Harper.

[BibT_eX]

[DOI]

Derek Dreyer

J. Funct. Program., 2022

Parsing Randomness: Unifying and Differentiating Parsers and Random Generators.

[BibT_eX]

[DOI]

CoRR, 2022

Social Presence in Virtual Event Spaces.

[BibT_eX]

[DOI]

Andrés Monroy-Hernández

Sean Rintel

Donghee Yvette Wohn

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

2021

Replication Package for Article: Model-Based Testing of Networked Applications.

[BibT_eX]

[DOI]

Yishuai Li

Steve Zdancewic

Dataset, May, 2021

Security Properties for Stack Safety.

[BibT_eX]

[DOI]

Sean Noble Anderson

Roberto Blanco

CoRR, 2021

ICFP 2020 Post-Conference Report.

[BibT_eX]

[DOI]

Stephanie Weirich

CoRR, 2021

Verifying an HTTP Key-Value Server with Interaction Trees and VST.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Model-based testing of networked applications.

[BibT_eX]

[DOI]

Yishuai Li

Steve Zdancewic

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing.

[BibT_eX]

[DOI]

John Hughes

Proceedings of the Programming Languages and Systems, 2021

2020

Testing differential privacy with dual interpreters.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Interaction trees: representing recursive and impure programs in Coq.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Conferences in an era of expensive carbon.

[BibT_eX]

[DOI]

Commun. ACM, 2020

Orchard: Differentially Private Analytics at Scale.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Fuzzi: a three-level logic for differential privacy.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Synthesizing symmetric lenses.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Coverage guided, property based testing.

[BibT_eX]

[DOI]

Michael Hicks

Proc. ACM Program. Lang., 2019

Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).

[BibT_eX]

[DOI]

CoRR, 2019

From C to interaction trees: specifying, verifying, and testing a networked server.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

XML Typechecking.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Synthesizing bijective lenses.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Synthesizing quotient lenses.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Generating good generators for inductive relations.

[BibT_eX]

[DOI]

Zoe Paraskevopoulou

Proc. ACM Program. Lang., 2018

The Meaning of Memory Safety.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.

[BibT_eX]

[DOI]

Carmine Abate

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

A framework for adaptive differential privacy.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).

[BibT_eX]

[DOI]

CoRR, 2017

Beginner's luck: a language for property-based generators.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Programming language techniques for differential privacy.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2016

Testing noninterference, quickly.

[BibT_eX]

[DOI]

J. Funct. Program., 2016

A verified information-flow architecture.

[BibT_eX]

[DOI]

J. Comput. Secur., 2016

Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization.

[BibT_eX]

[DOI]

Yannis Juglaret

CoRR, 2016

Report on the NSF Workshop on Formal Methods for Security.

[BibT_eX]

[DOI]

CoRR, 2016

The science of deep specification (keynote).

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Explicit Secrecy: A Policy for Taint Tracking.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation.

[BibT_eX]

[DOI]

Yannis Juglaret

Boris Eng

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2015

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.

[BibT_eX]

[DOI]

Yannis Juglaret

CoRR, 2015

Micro-Policies: Formally Verified, Tag-Based Security Monitors.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Foundational Property-Based Testing.

[BibT_eX]

[DOI]

Zoe Paraskevopoulou

Maxime Dénès

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Architectural Support for Software-Defined Metadata Processing.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

PUMP: a programmable unit for metadata processing.

[BibT_eX]

[DOI]

Proceedings of the HASP 2014, 2014

Differential Privacy: An Economic Method for Choosing Epsilon.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Special Issue Dedicated to ICFP 2011 Editorial.

[BibT_eX]

[DOI]

Kenichi Asai

J. Funct. Program., 2013

Dedication.

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Edit languages for information trees.

[BibT_eX]

[DOI]

Daniel Wagner

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

All Your IFCException Are Belong to Us.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Linear dependent types for differential privacy.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Testing noninterference, quickly.

[BibT_eX]

[DOI]

John Hughes

Dimitrios Vytiniotis

Emilio Jesús Gallego Arias

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Sensitivity analysis using type-based constraints.

[BibT_eX]

[DOI]

Loris D'Antoni

Marco Gaboardi

Andreas Haeberlen

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

A Theory of Information-Flow Labels.

[BibT_eX]

[DOI]

Benoît Montagu

Randy Pollack

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

Contracts made manifest.

[BibT_eX]

[DOI]

Michael Greenberg

Stephanie Weirich

J. Funct. Program., 2012

Preface.

[BibT_eX]

[DOI]

Stephanie Weirich

J. Autom. Reason., 2012

Hardware Support for Safety Interlocks and Introspection.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Edit lenses.

[BibT_eX]

[DOI]

Daniel Wagner

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Linguistic foundations for bidirectional transformations: invited tutorial.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2012

Verification challenges of pervasive information flow.

[BibT_eX]

[DOI]

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011

Differential Privacy Under Fire.

[BibT_eX]

[DOI]

Andreas Haeberlen

Arjun Narayan

Proceedings of the 20th USENIX Security Symposium, 2011

Preliminary design of the SAFE platform.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

Symmetric lenses.

[BibT_eX]

[DOI]

Daniel Wagner

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Polymorphic Contracts.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2011

2010

Featherweight Firefox: Formalizing the Core of a Web Browser.

[BibT_eX]

[DOI]

Aaron Bohannon

Proceedings of the USENIX Conference on Web Application Development, 2010

Art, science, and fear.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Proof Assistants as Teaching Assistants: A View from the Trenches.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Distance makes the types grow stronger: a calculus for differential privacy.

[BibT_eX]

[DOI]

Jason Reed

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Matching lenses: alignment and view update.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Differential privacy for collaborative security.

[BibT_eX]

[DOI]

Proceedings of the Third European Workshop on System Security, 2010

2009

XML Typechecking.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Foundations for Bidirectional Programming.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2009

Lambda, the ultimate TA: using a proof assistant to teach programming language foundations.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Updatable Security Views.

[BibT_eX]

[DOI]

J. Nathan Foster

Steve Zdancewic

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

Reactive noninterference.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Boomerang: resourceful lenses for string data.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Engineering formal metatheory.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Quotient lenses.

[BibT_eX]

[DOI]

J. Nathan Foster

Alexandre Pilkiewicz

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

A bisimulation for dynamic sealing.

[BibT_eX]

[DOI]

Eijiro Sumii

Theor. Comput. Sci., 2007

Preface.

[BibT_eX]

[DOI]

Matthew Flatt

J. Funct. Program., 2007

Exploiting schemas in data synchronization.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2007

A bisimulation for type abstraction and recursion.

[BibT_eX]

[DOI]

Eijiro Sumii

J. ACM, 2007

A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.

[BibT_eX]

[DOI]

J. Nathan Foster

Alan Schmitt

Proceedings of the PLAN-X 2007, 2007

Adventures in Bidirectional Programming.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

A Formal Investigation of.

[BibT_eX]

[DOI]

Sanjeev Khanna

Keshav Kunal

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Relational lenses: a language for updatable views.

[BibT_eX]

[DOI]

Aaron Bohannon

Jeffrey A. Vaughan

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Statically Typed Document Transformation: An Xtatic Experience.

[BibT_eX]

François Garillot

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

XTATIC.

[BibT_eX]

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

The Weird World of Bi-directional Programming.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2006

2005

Regular expression types for XML.

[BibT_eX]

[DOI]

Jerome Vouillon

ACM Trans. Program. Lang. Syst., 2005

It Is Time to Mechanize Programming Language Metatheory.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Harmony: The Art of Reconciliation.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Type-Based Optimization for Regular Patterns.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 10th International Symposium, 2005

XML Goes Native: Run-Time Representations for Xtatic.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

Guest editorial.

[BibT_eX]

[DOI]

Martin Odersky

ACM Trans. Program. Lang. Syst., 2004

2003

XDuce: A statically typed XML processing language.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2003

TinkerType: a language for playing with formal systems.

[BibT_eX]

[DOI]

J. Funct. Program., 2003

Regular expression pattern matching for XML.

[BibT_eX]

[DOI]

J. Funct. Program., 2003

Logical Relations for Encryption.

[BibT_eX]

[DOI]

Eijiro Sumii

J. Comput. Secur., 2003

Information and Computation special issue from TACS 2001.

[BibT_eX]

[DOI]

Naoki Kobayashi

Inf. Comput., 2003

Types and Programming Languages: The Next Generation.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Regular Object Types.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2003, 2003

2002

Guest editorial.

[BibT_eX]

[DOI]

Kathleen Fisher

ACM Trans. Program. Lang. Syst., 2002

Recursive subtyping revealed.

[BibT_eX]

[DOI]

J. Funct. Program., 2002

On Inner Classes.

[BibT_eX]

[DOI]

Inf. Comput., 2002

Foundations for Virtual Types.

[BibT_eX]

[DOI]

Inf. Comput., 2002

Type Destructors.

[BibT_eX]

[DOI]

Inf. Comput., 2002

Types and programming languages.

[BibT_eX]

MIT Press, ISBN: 978-0-262-16209-8, 2002

2001

Featherweight Java: a minimal core calculus for Java and GJ.

[BibT_eX]

[DOI]

Philip Wadler

ACM Trans. Program. Lang. Syst., 2001

Unison: A File Synchronizer and Its Specification.

[BibT_eX]

[DOI]

Jerome Vouillon

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

2000

Local type inference.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

The essence of objects.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Behavioral equivalence in the polymorphic pi-calculus.

[BibT_eX]

[DOI]

Davide Sangiorgi

J. ACM, 2000

Decoding Choice Encodings.

[BibT_eX]

[DOI]

Uwe Nestmann

Inf. Comput., 2000

XDuce: A Typed XML Processing Language (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the World Wide Web and Databases, 2000

Advanced module systems: a guide for the perplexed (abstract of invited talk).

[BibT_eX]

[DOI]

Robert Harper

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Recursive subtyping revealed: functional pearl.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Pict: a programming language based on the Pi-Calculus.

[BibT_eX]

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Linearity and the pi-calculus.

[BibT_eX]

[DOI]

Naoki Kobayashi

ACM Trans. Program. Lang. Syst., 1999

Foundations of Object-Oriented Languages - Introduction.

[BibT_eX]

Theory Pract. Object Syst., 1999

Comparing Object Encodings.

[BibT_eX]

[DOI]

Kim B. Bruce

Luca Cardelli

Inf. Comput., 1999

Featherwieght Java: A Minimal Core Calculus for Java and GJ.

[BibT_eX]

[DOI]

Philip Wadler

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Union Types for Semistructured Data.

[BibT_eX]

[DOI]

Peter Buneman

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998

Bounded Existentials and Minimal Typing.

[BibT_eX]

[DOI]

Giorgio Ghelli

Theor. Comput. Sci., 1998

Editorial - Third Workshop on Foundations of Object-Oriented Languages.

[BibT_eX]

Kim B. Bruce

Theory Pract. Object Syst., 1998

Preface.

[BibT_eX]

[DOI]

Uwe Nestmann

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

What is a File Synchronizer?

[BibT_eX]

[DOI]

Sundar Balasubramaniam

Proceedings of the MOBICOM '98, 1998

Location-Independent Communication for Mobile Agents: A Two-Level Architecture.

[BibT_eX]

[DOI]

Peter Sewell

Pawel T. Wojciechowski

Proceedings of the Internet Programming Languages, 1998

Type Systems for Concurrent Calculi (Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Higher-Order Subtyping.

[BibT_eX]

[DOI]

Martin Steffen

Theor. Comput. Sci., 1997

Intersection Types and Bounded Polymorphism.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1997

Foundational Calculi for Programming Languages.

[BibT_eX]

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Typing and Subtyping for Mobile Processes.

[BibT_eX]

[DOI]

Davide Sangiorgi

Math. Struct. Comput. Sci., 1996

Higher-Order Intersection Types and Multiple Inheritance.

[BibT_eX]

[DOI]

Adriana B. Compagnoni

Math. Struct. Comput. Sci., 1996

Positive Subtyping.

[BibT_eX]

[DOI]

Inf. Comput., 1996

1995

On Binary Methods.

[BibT_eX]

Theory Pract. Object Syst., 1995

A Unifying Type-Theoretic Framework for Objects.

[BibT_eX]

[DOI]

J. Funct. Program., 1995

Dynamic Typing in Polymorphic Languages.

[BibT_eX]

[DOI]

J. Funct. Program., 1995

Corrigendum: Decidable Bounded Quantification.

[BibT_eX]

[DOI]

Giuseppe Castagna

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

Bounded Quantification is Undecidable

[BibT_eX]

[DOI]

Inf. Comput., July, 1994

Simple Type-Theoretic Foundations for Object-Oriented Programming.

[BibT_eX]

[DOI]

J. Funct. Program., 1994

Concurrent Objects in a Process Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Parallel Programming, 1994

Decidable Bounded Quantification.

[BibT_eX]

[DOI]

Giuseppe Castagna

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

Object-Oriented Programming without Recursive Types.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1991

Dynamic Typing in a Statically Typed Language.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1991

Faithful Ideal Models for Recursive Polymorphic Types.

[BibT_eX]

[DOI]

Martín Abadi

Gordon D. Plotkin

Int. J. Found. Comput. Sci., 1991

A Record Calculus Based on Symmetric Concatenation.

[BibT_eX]

[DOI]

Robert Harper

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Basic category theory for computer scientists.

[BibT_eX]