Johan Jeuring


Ontology type: schema:Person     


Person Info

NAME

Johan

SURNAME

Jeuring

Publications in SciGraph latest 50 shown

  • 2018-12 The Interplay between Inspectable Student Models and Didactics of Statistics in DIGITAL EXPERIENCES IN MATHEMATICS EDUCATION
  • 2018-08-14 Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems in LIFELONG TECHNOLOGY-ENHANCED LEARNING
  • 2017-12 Scenarios in virtual learning environments for one-to-one communication skills training in INTERNATIONAL JOURNAL OF EDUCATIONAL TECHNOLOGY IN HIGHER EDUCATION
  • 2017-03 Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback in INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE IN EDUCATION
  • 2017 An Extensible Domain-Specific Language for Describing Problem-Solving Procedures in ARTIFICIAL INTELLIGENCE IN EDUCATION
  • 2017 Erratum to: Generic Programming in GENERIC PROGRAMMING
  • 2016 Type Class Instances for Type-Level Lambdas in Haskell in TRENDS IN FUNCTIONAL PROGRAMMING
  • 2016 The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review in GAMES AND LEARNING ALLIANCE
  • 2015 Communicate! — A Serious Game for Communication Skills — in DESIGN FOR TEACHING AND LEARNING IN A NETWORKED WORLD
  • 2014 The 5/10 Method: A Method for Designing Educational Games in GAMES AND LEARNING ALLIANCE
  • 2014 Inductive Triple Graphs: A Purely Functional Approach to Represent RDF in GRAPH STRUCTURES FOR KNOWLEDGE REPRESENTATION AND REASONING
  • 2013 Finding Palindromes: Variants and Algorithms in THE BEAUTY OF FUNCTIONAL CODE
  • 2012 Teachers and Students in Charge in 21ST CENTURY LEARNING FOR 21ST CENTURY SKILLS
  • 2012 A Programming Tutor for Haskell in CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL
  • 2012 Ask-Elle: A Haskell Tutor in 21ST CENTURY LEARNING FOR 21ST CENTURY SKILLS
  • 2011 Interleaving Strategies in INTELLIGENT COMPUTER MATHEMATICS
  • 2010-05 Specifying Rewrite Strategies for Interactive Exercises in MATHEMATICS IN COMPUTER SCIENCE
  • 2010 Adapting Mathematical Domain Reasoners in INTELLIGENT COMPUTER MATHEMATICS
  • 2010 Enumerating Well-Typed Terms Generically in APPROACHES AND APPLICATIONS OF INDUCTIVE PROGRAMMING
  • 2010 Pull-Ups, Push-Downs, and Passing It Around in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES
  • 2009 Canonical Forms in Interactive Exercise Assistants in INTELLIGENT COMPUTER MATHEMATICS
  • 2009 Libraries for Generic Programming in Haskell in ADVANCED FUNCTIONAL PROGRAMMING
  • 2008 Specifying Strategies for Exercises in INTELLIGENT COMPUTER MATHEMATICS
  • 2007 Comparing Approaches to Generic Programming in Haskell in DATATYPE-GENERIC PROGRAMMING
  • 2007 Testing Properties of Generic Functions in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES
  • 2006 Typed Contracts for Functional Programming in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2006 Generic Views on Data Types in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 2004 UUXML: A Type-Preserving XML Schema–Haskell Data Binding in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2004 Inferring Type Isomorphisms Generically in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 2003 Discussion: The Rôle of Types in Generic Programming in GENERIC PROGRAMMING
  • 2003 Chapter 2. Generic Haskell: Applications in GENERIC PROGRAMMING
  • 2003 Chapter 1. Generic Haskell: Practice and Theory in GENERIC PROGRAMMING
  • 2003 Discussion: Views of Genericity in GENERIC PROGRAMMING
  • 2002 Type-Indexed Data Types in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 1999 Polytypic Compact Printing and Parsing in PROGRAMMING LANGUAGES AND SYSTEMS
  • 1999 Generic Programming in ADVANCED FUNCTIONAL PROGRAMMING
  • 1996 Polytypic programming in ADVANCED FUNCTIONAL PROGRAMMING
  • 1995 Merging monads and folds for functional programming in ADVANCED FUNCTIONAL PROGRAMMING
  • 1994-02 The derivation of on-line algorithms, with an application to finding palindromes in ALGORITHMICA
  • 1994 Bottom-up grammar analysis — A functional formulation in PROGRAMMING LANGUAGES AND SYSTEMS — ESOP '94
  • Affiliations

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "https://www.grid.ac/institutes/grid.36120.36", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Jeuring", 
        "givenName": "Johan", 
        "id": "sg:person.012741211065.50", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0001-5645-7681"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012741211065.50", 
          "https://orcid.org/0000-0001-5645-7681"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:50", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1610.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.012741211065.50'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.012741211065.50'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.012741211065.50'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.012741211065.50'


     




    Preview window. Press ESC to close (or click here)


    ...