Jean-Philippe Bernardy
Jean-Philippe Bernardy
gu.se üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Proofs for free
JP Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (2), 107, 2012
902012
Linear Haskell: practical linearity in a higher-order polymorphic language
JP Bernardy, M Boespflug, RR Newton, S Peyton Jones, A Spiwack
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
712017
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
ICFP 2010 45 (9), 345-356, 2010
602010
A presheaf model of parametric type theory
JP Bernardy, T Coquand, G Moulin
Electronic Notes in Theoretical Computer Science 319, 67-82, 2015
562015
Type theory in color
JP Bernardy, G Moulin
552013
Realizability and parametricity in pure type systems
JP Bernardy, M Lasson
Foundations of Software Science and Computational Structures, 108-122, 2011
462011
Using deep neural networks to learn syntactic agreement
JP Bernardy, S Lappin
Linguistic Issues in Language Technology, 2017
452017
A computational interpretation of parametricity
JP Bernardy, G Moulin
2012 27th Annual IEEE Symposium on Logic in Computer Science, 135-144, 2012
402012
A comparison of C++ concepts and Haskell type classes
JP Bernardy, P Jansson, M Zalewski, S Schupp, A Priesnitz
Proceedings of the ACM SIGPLAN workshop on Generic programming, 37-48, 2008
312008
Can recurrent neural networks learn nested recursion?
JP Bernardy
Linguistic Issues in Language Technology, Volume 16, 2018, 2018
232018
Generic programming with C++ concepts and Haskell type classes—a comparison
JP Bernardy, P Jansson, M Zalewski, S Schupp
Journal of Functional Programming 20 (3-4), 271-302, 2010
192010
Lazy functional incremental parsing
JP Bernardy
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 49-60, 2009
182009
A type-theoretical system for the FraCaS test suite: Grammatical framework meets Coq
JP Bernardy, S Chatzikyriakidis
IWCS 2017-12th International Conference on Computational Semantics-Long papers, 2017
162017
A compositional Bayesian semantics for natural language
JP Bernardy, R Blanck, S Chatzikyriakidis, S Lappin
Proceedings of the first international workshop on language cognition and …, 2018
142018
A unified view of modalities in type systems
A Abel, JP Bernardy
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020
132020
Certified context-free parsing: A formalisation of Valiant's algorithm in Agda
P Jansson, JP Bernardy
Logical Methods in Computer Science 12, 2016
122016
Efficient divide-and-conquer parsing of practical context-free languages
JP Bernardy, K Claessen
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
122013
Simple noninterference from parametricity
M Algehed, JP Bernardy
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-22, 2019
102019
Bayesian inference semantics: A modelling system and a test suite
JP Bernardy, R Blanck, S Chatzikyriakidis, S Lappin, A Maskharashvili
Proceedings of the Eighth Joint Conference on Lexical and Computational …, 2019
92019
Yi: an editor in Haskell for Haskell
JP Bernardy
ACM Sigplan Notices 44 (2), 61-62, 2008
92008
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20