Jean Philippe Bernardy

Jean Philippe Bernardy

University of Gothenburg - Göteborg / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1151495
Göteborgs universitet
person_outline Jean Philippe Bernardy's MOST POPULAR ARTICLES
1-) Linear Haskell: practical linearity in a higher-order polymorphic languageJP Bernardy, M Boespflug, RR Newton, S Peyton Jones, A SpiwackProceedings of the ACM on Programming Languages 2 (POPL), 1-29, 20171052017
2-) Proofs for freeJP Bernardy, P Jansson, R PatersonJournal of Functional Programming 22 (2), 107, 20121042012
3-) A presheaf model of parametric type theoryJP Bernardy, T Coquand, G MoulinElectronic Notes in Theoretical Computer Science 319, 67-82, 2015672015
4-) Parametricity and dependent typesJP Bernardy, P Jansson, R PatersonICFP 2010 45 (9), 345-356, 2010752010
5-) Using deep neural networks to learn syntactic agreementJP Bernardy, S LappinLinguistic Issues in Language Technology, 2017742017