Showing 1 - 3 results of 3 for search 'Cezar Ionescu', query time: 0.02s 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
    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
  3. 3
    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: