James Chapman

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	1026	544
H-index	17	12
i10-index	21	15

140

105

200620072008200920102011201220132014201520162017201820192020202120222023202420255 4 10 13 19 26 27 48 33 31 37 71 75 67 69 95 110 116 129 21

גישה ציבורית

הצג הכל

6 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Conor McBrideReader, University of Strathclydeכתובת אימייל מאומתת בדומיין strath.ac.uk
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of Technologyכתובת אימייל מאומתת בדומיין ru.is
Thorsten AltenkirchProfessor of Computer Science, University of Nottinghamכתובת אימייל מאומתת בדומיין cs.nott.ac.uk
Orestis MelkonianInput Output (IOG/IOHK)כתובת אימייל מאומתת בדומיין iohk.io
Philip WadlerUniversity of Edinburgh and IOHK/IOGכתובת אימייל מאומתת בדומיין inf.ed.ac.uk
James McKinnaHeriot-Watt University, Edinburghכתובת אימייל מאומתת בדומיין hw.ac.uk
Manuel M T ChakravartyTweag I/O & IOHKכתובת אימייל מאומתת בדומיין justtesting.org
Allais GuillaumeChancellor's Fellow, University of Strathclydeכתובת אימייל מאומתת בדומיין strath.ac.uk
Michael Peyton JonesIOHKכתובת אימייל מאומתת בדומיין michaelpj.com
Robert AtkeyUniversity of Strathclydeכתובת אימייל מאומתת בדומיין strath.ac.uk
Niccolò VeltriResearcher, Department of Software Science, Tallinn University of Technologyכתובת אימייל מאומתת בדומיין cs.ioc.ee
Pierre-Evariste DagandCNRSכתובת אימייל מאומתת בדומיין evr.ist
Kevin HammondHead of Software Engineering (Cardano Core), IOGכתובת אימייל מאומתת בדומיין iohk.io
Andreas AbelSenior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of Gothenburgכתובת אימייל מאומתת בדומיין gu.se
Ulf NorellUniversity of Gothenburgכתובת אימייל מאומתת בדומיין chalmers.se
Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de Louvainכתובת אימייל מאומתת בדומיין uclouvain.be
Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHKכתובת אימייל מאומתת בדומיין uib.no
Danel AhmanInstitute of Computer Science, University of Tartuכתובת אימייל מאומתת בדומיין ut.ee
Chad NesterUniversity of Tartuכתובת אימייל מאומתת בדומיין ut.ee
Peter Morris

עקוב אחר

James Chapman

IOG (IOHK)

כתובת אימייל מאומתת בדומיין iohk.io - דף הבית

Type theory category theory functional programming programming languages formal methods


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Monads need not be endofunctors‏ T Altenkirch, J Chapman, T Uustalu‏ International Conference on Foundations of Software Science and …, 2010‏	219*	2010
The gentle art of levitation‏ J Chapman, PÉ Dagand, C McBride, P Morris‏ ACM SIGPLAN Notices 45 (9), 3-14, 2010‏	120	2010
The extended UTXO model‏ MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ...‏ Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020‏	110	2020
Type theory should eat itself‏ J Chapman‏ Electronic Notes in Theoretical Computer Science 228, 21-36, 2009‏	74	2009
Type-and-scope safe programs and their proofs‏ G Allais, J Chapman, C McBride, J McKinna‏ Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017‏	57	2017
A type and scope safe universe of syntaxes with binding: their semantics and proofs‏ G Allais, R Atkey, J Chapman, C McBride, J McKinna‏ Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018‏	45	2018
Type checking and normalisation‏ JM Chapman‏ University of Nottingham, 2009‏	39	2009
When is a container a comonad?‏ D Ahman, J Chapman, T Uustalu‏ Logical Methods in Computer Science 10, 2014‏	38	2014
When is a container a comonad?‏ D Ahman, J Chapman, T Uustalu‏ International Conference on Foundations of Software Science and …, 2012‏	38	2012
Quotienting the delay monad by weak bisimilarity‏ J Chapman, T Uustalu, N Veltri‏ Mathematical Structures in Computer Science, 67-92, 2019‏	34	2019
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types‏ A Abel, J Chapman‏ EPTCS 153, 51-67, 0‏	32*
System F in Agda, for Fun and Profit‏ J Chapman, R Kireev, C Nester, P Wadler‏ International Conference on Mathematics of Program Construction, 255-297, 2019‏	31	2019
Big-step normalisation‏ T Altenkirch, J Chapman‏ Journal of Functional Programming 19 (3-4), 311-333, 2009‏	30	2009
Epigram Reloaded‏ J Chapman, T Altenkirch, C McBride‏ Trends in Functional Programming 6, 79, 2007‏	30*	2007
Native Custom Tokens in the Extended UTXO Model‏ MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...‏ ISoLA 2020, 2020‏	29	2020
Quotienting the delay monad by weak bisimilarity‏ J Chapman, T Uustalu, N Veltri‏ International Colloquium on Theoretical Aspects of Computing, 110-125, 2015‏	25	2015
Relative monads formalised‏ T Altenkirch, J Chapman, T Uustalu‏ Journal of Formalized Reasoning 7 (1), 1-43, 2014‏	25	2014
A type-and scope-safe universe of syntaxes with binding: their semantics and proofs‏ G Allais, R Atkey, J Chapman, C McBride, J McKinna‏ Journal of Functional Programming 31, e22, 2021‏	20	2021
UTXOma: UTXO with Multi-Asset Support‏ MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...‏ 9th International Symposium on Leveraging Applications of Formal Methods …, 2020‏	16	2020
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs‏ J Cockx, O Melkonian, L Escot, J Chapman, U Norell‏ Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 108-122, 2022‏	10	2022

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים