Showing 1 - 4 results of 4 for search 'Patrik Jansson', query time: 0.03s Refine Results
  1. 1
    Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming

    Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming by Cezar Ionescu, Patrik Jansson

    Published 2016-11-01
    Get full text
    Article
  2. 2
    Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

    Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda by Jean-Philippe Bernardy, Patrik Jansson

    Published 2016-06-01
    Get full text
    Article
  3. 3
    Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics

    Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics by Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu

    Published 2019-06-01
    Get full text
    Article
  4. 4
    Sequential decision problems, dependent types and generic solutions

    Sequential decision problems, dependent types and generic solutions by Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin Brady

    Published 2017-03-01
    Get full text
    Article

Search Tools: