Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education

• URL: http://arxiv.org/abs/2008.08923v1
• Date: Thu, 20 Aug 2020 12:21:53 GMT
• Title: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education
• Authors: Jurriaan Hage (Utrecht University)
• Abstract summary: This volume contains five papers, accepted after post-reviewing, based on presentations submitted to IE 2019 and IE 2020. Authors present research and experiences in teaching functional programming at any level.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This volume contains five papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2019 and TFPIE 2020 that took places in Vancouver, Canada and Krakow, Poland respectively. TFPIE stands for Trends in Functional Programming in Education, where authors present research and experiences in teaching concepts of functional programming at any level.

Related papers

• Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP) [0.30693357740321775]
  The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13, 2024, in conjunction with the 40th International Conference on Logic Programming (ICLP) The focus of this workshop is integrating reasoning systems for trustworthy AI, especially including integrating diverse models of programming with rules and constraints.
  arXiv  Detail & Related papers  (2024-10-01T19:36:08Z)
• Survey of Methods, Resources, and Formats for Teaching Constraint Programming [0.0]
  This paper is based on a survey of the community for the 2023 Workshop on Teaching Constraint Programming at the CP 2023 conference in Toronto. The paper presents the results of the survey, as well as lists of books, video courses and other tutorial materials for teaching Constraint Programming.
  arXiv  Detail & Related papers  (2024-03-19T13:27:01Z)
• Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) [0.2578242050187029]
  The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool.
  arXiv  Detail & Related papers  (2022-11-17T22:50:56Z)
• Reasoning Like Program Executors [48.819113224699976]
  POET empowers language models to harvest the reasoning knowledge possessed in program executors via a data-driven approach. PoET can significantly boost model performance on natural language reasoning. PoET opens a new gate on reasoning-enhancement pre-training.
  arXiv  Detail & Related papers  (2022-01-27T12:28:24Z)
• Natural Language Processing in-and-for Design Research [2.7071541526963805]
  We review the scholarly contributions that utilise Natural Language Processing (NLP) methods to support the design process. We present state-of-the-art NLP in-and-for design research by reviewing these articles according to the type of natural language text sources.
  arXiv  Detail & Related papers  (2021-11-27T06:32:54Z)
• FedNLP: A Research Platform for Federated Learning in Natural Language Processing [55.01246123092445]
  We present the FedNLP, a research platform for federated learning in NLP. FedNLP supports various popular task formulations in NLP such as text classification, sequence tagging, question answering, seq2seq generation, and language modeling. Preliminary experiments with FedNLP reveal that there exists a large performance gap between learning on decentralized and centralized datasets.
  arXiv  Detail & Related papers  (2021-04-18T11:04:49Z)
• NEMO: Frequentist Inference Approach to Constrained Linguistic Typology Feature Prediction in SIGTYP 2020 Shared Task [83.43738174234053]
  We employ frequentist inference to represent correlations between typological features and use this representation to train simple multi-class estimators that predict individual features. Our best configuration achieved the micro-averaged accuracy score of 0.66 on 149 test languages.
  arXiv  Detail & Related papers  (2020-10-12T19:25:43Z)
• Towards Induction of Structured Phoneme Inventories [75.47306670351598]
  This extended abstract surveying the work on phonological typology was prepared for " SIGTYP 2020: The Second Workshop on Computational Research in Linguistic Typology" to be held at EMNLP 2020.
  arXiv  Detail & Related papers  (2020-10-12T18:39:07Z)
• Pre-trained Models for Natural Language Processing: A Survey [75.95500552357429]
  The emergence of pre-trained models (PTMs) has brought natural language processing (NLP) to a new era. This survey is purposed to be a hands-on guide for understanding, using, and developing PTMs for various NLP tasks.
  arXiv  Detail & Related papers  (2020-03-18T15:22:51Z)
• Recognizing Families In the Wild: White Paper for the 4th Edition Data Challenge [91.55319616114943]
  This paper summarizes the supported tasks (i.e., kinship verification, tri-subject verification, and search & retrieval of missing children) in the Recognizing Families In the Wild (RFIW) evaluation. The purpose of this paper is to describe the 2020 RFIW challenge, end-to-end, along with forecasts in promising future directions.
  arXiv  Detail & Related papers  (2020-02-15T02:22:42Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.