Acm Sigplan

[PADL'24] Automated Interactive Domain-Specific Conversational Agents that Understand Huma... 50:48
[PADL'24] Automated Interactive Domain-Specific Conversational Agents that Understand Huma... ACM SIGPLAN 59 2 недели назад
[PADL'24] Rethinking Answer Set Programming Templates 30:29
[PADL'24] Rethinking Answer Set Programming Templates ACM SIGPLAN 54 2 недели назад
[PADL'24] Using Logic Programming and Kernel-Grouping for Improving Interpretability of Co... 28:51
[PADL'24] Using Logic Programming and Kernel-Grouping for Improving Interpretability of Co... ACM SIGPLAN 70 2 недели назад
[PADL'24] A direct ASP encoding for Declare 26:45
[PADL'24] A direct ASP encoding for Declare ACM SIGPLAN 37 2 недели назад
[PADL'24] Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures 29:14
[PADL'24] Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures ACM SIGPLAN 99 2 недели назад
[PADL'24] Whats and Whys of Neural Network Verification (A Declarative Programming Perspec... 58:32
[PADL'24] Whats and Whys of Neural Network Verification (A Declarative Programming Perspec... ACM SIGPLAN 36 2 недели назад
[PADL'24] Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using B... 28:26
[PADL'24] Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using B... ACM SIGPLAN 30 2 недели назад
[PADL'24] Asynchronous Reactive Programming with Modal Types in Haskell 35:42
[PADL'24] Asynchronous Reactive Programming with Modal Types in Haskell ACM SIGPLAN 114 2 недели назад
[PADL'24] Explanation and Knowledge Acquisition in Ad Hoc Teamwork 23:17
[PADL'24] Explanation and Knowledge Acquisition in Ad Hoc Teamwork ACM SIGPLAN 14 2 недели назад
[PADL'24] FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explai... 36:36
[PADL'24] FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explai... ACM SIGPLAN 22 2 недели назад
X10 wins 2005 ACM SIGPLAN OOPSLA Most Influential Paper Award 6:56
X10 wins 2005 ACM SIGPLAN OOPSLA Most Influential Paper Award MichaelJamesHind 228 8 лет назад
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism 15:11
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism ACM SIGPLAN 1,234 3 года назад
Christian revival: Fantasy or reality? - UnHerd LIVE 1:16:47
Christian revival: Fantasy or reality? - UnHerd LIVE UnHerd 110,704 2 месяца назад
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] 1:31:06
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] PapersWeLove 324,618 7 лет назад
Unlock Lisp / Scheme's magic: beginner to Scheme-in-Scheme in one hour 1:11:38
Unlock Lisp / Scheme's magic: beginner to Scheme-in-Scheme in one hour Christine Lemmer-Webber 14,785 1 год назад
Maciej Piróg - Effect Handlers: A New Approach to Computational Effects - Lambda Days 2020 43:57
Maciej Piróg - Effect Handlers: A New Approach to Computational Effects - Lambda Days 2020 Code Sync 3,903 4 года назад
JAX: accelerated machine learning research via composable function transformations in Python 1:09:58
JAX: accelerated machine learning research via composable function transformations in Python ACM SIGPLAN 11,231 3 года назад
[FOWM'24] What we learned from C++ atomics and memory model standardization 21:48
[FOWM'24] What we learned from C++ atomics and memory model standardization ACM SIGPLAN 2,354 4 месяца назад
Scheme 2021 - Layering: The Architecture of Programs 53:32
Scheme 2021 - Layering: The Architecture of Programs ACM SIGPLAN 789 2 года назад
Scheme Workshop Keynote: Edwin Brady 1:06:17
Scheme Workshop Keynote: Edwin Brady ACM SIGPLAN 3,519 4 года назад
[POPL'24] Turing Lecture (Jan 19th) 11:54:58
[POPL'24] Turing Lecture (Jan 19th) ACM SIGPLAN 462 5 месяцев назад
A Simple Differentiable Programming Language 22:23
A Simple Differentiable Programming Language ACM SIGPLAN 1,845 4 года назад
2020 ACM SIGPLAN International Symposium on Memory Management (ISMM) - AM 8:27:58
2020 ACM SIGPLAN International Symposium on Memory Management (ISMM) - AM ACM SIGPLAN 3,136 4 года назад
Symbolic and Automatic Differentiation of Languages 11:48
Symbolic and Automatic Differentiation of Languages ACM SIGPLAN 1,384 2 года назад
[Scheme'22] Programming is (should be) fun! 52:26
[Scheme'22] Programming is (should be) fun! ACM SIGPLAN 30,135 1 год назад
Typed Dataspace Actors 13:28
Typed Dataspace Actors ACM SIGPLAN 386 2 года назад
ICFP 2012. ACM SIGPLAN awards. 9:52
ICFP 2012. ACM SIGPLAN awards. Malcolm Wallace 96 11 лет назад
[OOPSLA23] Rhombus: A New Spin on Macros without All the Parentheses 19:08
[OOPSLA23] Rhombus: A New Spin on Macros without All the Parentheses ACM SIGPLAN 644 5 месяцев назад
[PADL'23] Modern Macros 1:03:05
[PADL'23] Modern Macros ACM SIGPLAN 3,005 1 год назад
Gen: A General-Purpose Probabilistic Programming System with Programmable Inference 23:03
Gen: A General-Purpose Probabilistic Programming System with Programmable Inference ACM SIGPLAN 1,617 4 года назад
[POPL'24] Haslett - WITS (Jan 20) 9:16:57
[POPL'24] Haslett - WITS (Jan 20) ACM SIGPLAN 388 5 месяцев назад
FARM 2021 - ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Full 4:16:21
FARM 2021 - ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Full ACM SIGPLAN 80 2 года назад
[Haskell'22] Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs 24:29
[Haskell'22] Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs ACM SIGPLAN 1,243 1 год назад

Сейчас ищут