|
You are here |
decomposition.al | ||
| | | | |
www.cs.yale.edu
|
|
| | | | | [AI summary] Jay P. Lim is a computer science lecturer at Yale University with expertise in programming languages, systems, and numerical correctness, focusing on developing accurate and efficient software systems and contributing to open-source projects like LLVM's libc. | |
| | | | |
speakerdeck.com
|
|
| | | | | Slides from a talk given on 5 March 2018 at QCon London. https://qconlondon.com/london2018/presentation/crdts-and-quest-distributed-consistency Abst... | |
| | | | |
mattweidner.com
|
|
| | | | | ||
| | | | |
icfp19.sigplan.org
|
|
| | | The purpose of the Programming Languages Mentoring Workshop (PLMW) is both to support the careers of those who are in the beginning stages of a Ph.D, and to inform people who are considering doing a Ph.D in programming languages about PL research and potential careers that follow. Through talks and panel discussions by leaders in programming language research from academia and industry, the workshop will introduce some current topics in functional programming research (providing background for some resea... | ||