Patrik Jansson

1. Fast and loose reasoning is morally correct
   2006/01/11 by Nils Anders Danielsson, John Hughes, Patrik Jansson +1 · 1 voice · 2 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
2. Domain-Specific Tensor Languages
   2023/12/05 by Jean-Philippe Bernardy, Bernardy, Jean-Philippe, Patrik Jansson +1 · 1 voice · 1 citation
   Computer Science · Decision Sciences · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Scientific Computing and Data Management #cs.PL
3. Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming
   2016/11/29 by Cezar Ionescu, Patrik Jansson · 1 voice
   Computer Science · #cs.CY #cs.PL