Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson on Vimeo
PDF) Dynamic IFC Theorems for Free!
Domain-Specific Languages of Mathematics: Jansson, Patrik, Ionescu, Cezar, Bernardy, Jean-Philippe: 9781848903883: Amazon.com: Books
Jean-Philippe BERNARDY | Programmer | University of Gothenburg, Göteborg | GU | Department of Philosophy, Linguistics and Theory of Science
Jean-Philippe Bernardy | DeepAI
Advanced Functional Programming ppt download
Linear Haskell: practical linearity in a higher-order polymorphic language
Names For Free — Polymorphic Views of Names and Binders Jean-Philippe Bernardy Chalmers University ofTechnology and University
Books by Author: Jean-Philippe Bernardy Archives » Let Me Read
Jean-Philippe Bernardy | DeepAI
Probabilistic Approaches to Linguistic Theory by Jean-Philippe Bernardy, Paperback | Barnes & Noble®
Type Theory Research Group
The Almarty (@MartyStumpf) / Twitter
arXiv:2103.06195v2 [cs.PL] 22 Jul 2021
The Influence of Context on Sentence Acceptability Judgements - ACL Anthology
A Unified View of Modalities in Type Systems
Jean-Philippe BERNARDI (LA GARENNE COLOMBES) - Copains d'avant
Jean-Philippe Bernardy - Quora
A Neural Model for Compositional Word Embeddings and Sentence Processing - ACL Anthology
Jean-Philippe Bernardy - YouTube
A probabilistic semantics for natural language
Shalom Lappin University of Gothenburg, King's College London and Queen Mary University of London Joint work with Jean-Philippe
How does Punctuation Affect Neural Models in Natural Language Inference - ACL Anthology
PDF) A Compositional Bayesian Semantics for Natural Language
