Skip to main content

Showing 1–39 of 39 results for author: Magalhães, J

Searching in archive cs. Search in all archives.
.
  1. arXiv:2506.05696  [pdf, ps, other

    cs.CV

    MoralCLIP: Contrastive Alignment of Vision-and-Language Representations with Moral Foundations Theory

    Authors: Ana Carolina Condez, Diogo Tavares, João Magalhães

    Abstract: Recent advances in vision-language models have enabled rich semantic understanding across modalities. However, these encoding methods lack the ability to interpret or reason about the moral dimensions of content-a crucial aspect of human cognition. In this paper, we address this gap by introducing MoralCLIP, a novel embedding representation method that extends multimodal learning with explicit mor… ▽ More

    Submitted 5 June, 2025; originally announced June 2025.

  2. arXiv:2505.19307  [pdf, ps, other

    cs.IR

    Aligning Web Query Generation with Ranking Objectives via Direct Preference Optimization

    Authors: João Coelho, Bruno Martins, João Magalhães, Chenyan Xiong

    Abstract: Neural retrieval models excel in Web search, but their training requires substantial amounts of labeled query-document pairs, which are costly to obtain. With the widespread availability of Web document collections like ClueWeb22, synthetic queries generated by large language models offer a scalable alternative. Still, synthetic training queries often vary in quality, which leads to suboptimal dow… ▽ More

    Submitted 25 May, 2025; originally announced May 2025.

    Comments: Accepted at SIGIR 2025

  3. arXiv:2505.19253  [pdf, ps, other

    cs.IR

    DeepResearchGym: A Free, Transparent, and Reproducible Evaluation Sandbox for Deep Research

    Authors: João Coelho, Jingjie Ning, Jingyuan He, Kangrui Mao, Abhijay Paladugu, Pranav Setlur, Jiahe Jin, Jamie Callan, João Magalhães, Bruno Martins, Chenyan Xiong

    Abstract: Deep research systems represent an emerging class of agentic information retrieval methods that generate comprehensive and well-supported reports to complex queries. However, most existing frameworks rely on dynamic commercial search APIs, which pose reproducibility and transparency challenges in addition to their cost. To address these limitations, we introduce DeepResearchGym, an open-source san… ▽ More

    Submitted 30 May, 2025; v1 submitted 25 May, 2025; originally announced May 2025.

  4. arXiv:2504.19705  [pdf, other

    cs.SE

    Guided Tensor Lifting

    Authors: Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen

    Abstract: Domain-specific languages (DSLs) for machine learning are revolutionizing the speed and efficiency of machine learning workloads as they enable users easy access to high-performance compiler optimizations and accelerators. However, to take advantage of these capabilities, a user must first translate their legacy code from the language it is currently written in, into the new DSL. The process of au… ▽ More

    Submitted 28 April, 2025; originally announced April 2025.

    Comments: PLDI 2025 main conference

  5. arXiv:2503.20429  [pdf, other

    cs.CV

    Latent Beam Diffusion Models for Decoding Image Sequences

    Authors: Guilherme Fernandes, Vasco Ramos, Regev Cohen, Idan Szpektor, João Magalhães

    Abstract: While diffusion models excel at generating high-quality images from text prompts, they struggle with visual consistency in image sequences. Existing methods generate each image independently, leading to disjointed narratives - a challenge further exacerbated in non-linear storytelling, where scenes must connect beyond adjacent frames. We introduce a novel beam search strategy for latent space expl… ▽ More

    Submitted 28 May, 2025; v1 submitted 26 March, 2025; originally announced March 2025.

  6. Multilingual Vision-Language Pre-training for the Remote Sensing Domain

    Authors: João Daniel Silva, Joao Magalhaes, Devis Tuia, Bruno Martins

    Abstract: Methods based on Contrastive Language-Image Pre-training (CLIP) are nowadays extensively used in support of vision-and-language tasks involving remote sensing data, such as cross-modal retrieval. The adaptation of CLIP to this specific domain has relied on model fine-tuning with the standard contrastive objective, using existing human-labeled image-caption datasets, or using synthetic data corresp… ▽ More

    Submitted 30 October, 2024; originally announced October 2024.

    Comments: Accepted at ACM SIGSPATIAL 2024 - Research Papers

  7. arXiv:2410.12891  [pdf, other

    cs.CL cs.AI cs.HC

    Multi-trait User Simulation with Adaptive Decoding for Conversational Task Assistants

    Authors: Rafael Ferreira, David Semedo, João Magalhães

    Abstract: Conversational systems must be robust to user interactions that naturally exhibit diverse conversational traits. Capturing and simulating these diverse traits coherently and efficiently presents a complex challenge. This paper introduces Multi-Trait Adaptive Decoding (mTAD), a method that generates diverse user profiles at decoding-time by sampling from various trait-specific Language Models (LMs)… ▽ More

    Submitted 28 October, 2024; v1 submitted 16 October, 2024; originally announced October 2024.

    Comments: Preprint from EMNLP 2024 Findings

    ACM Class: I.2.7

  8. arXiv:2409.19074  [pdf, other

    cs.CV cs.CL

    Show and Guide: Instructional-Plan Grounded Vision and Language Model

    Authors: Diogo Glória-Silva, David Semedo, João Magalhães

    Abstract: Guiding users through complex procedural plans is an inherently multimodal task in which having visually illustrated plan steps is crucial to deliver an effective plan guidance. However, existing works on plan-following language models (LMs) often are not capable of multimodal input and output. In this work, we present MM-PlanLLM, the first multimodal LLM designed to assist users in executing inst… ▽ More

    Submitted 18 October, 2024; v1 submitted 27 September, 2024; originally announced September 2024.

    Comments: Accepted at EMNLP 2024 Main Track

  9. Lisbon Computational Linguists at SemEval-2024 Task 2: Using A Mistral 7B Model and Data Augmentation

    Authors: Artur Guimarães, Bruno Martins, João Magalhães

    Abstract: This paper describes our approach to the SemEval-2024 safe biomedical Natural Language Inference for Clinical Trials (NLI4CT) task, which concerns classifying statements about Clinical Trial Reports (CTRs). We explored the capabilities of Mistral-7B, a generalist open-source Large Language Model (LLM). We developed a prompt for the NLI4CT task, and fine-tuned a quantized version of the model using… ▽ More

    Submitted 6 August, 2024; originally announced August 2024.

    Comments: 8 pages, 1 figure, submitted and accepted into the "18th International Workshop on Semantic Evaluation (SemEval-2024)"

    ACM Class: I.2.7

    Journal ref: Proceedings of the 18th International Workshop on Semantic Evaluation (SemEval-2024) (2024) 1280-1287

  10. arXiv:2407.15668  [pdf, ps, other

    cs.CV cs.AI

    SLVideo: A Sign Language Video Moment Retrieval Framework

    Authors: Gonçalo Vinagre Martins, João Magalhães, Afonso Quinaz, Carla Viegas, Sofia Cavaco

    Abstract: SLVideo is a video moment retrieval system for Sign Language videos that incorporates facial expressions, addressing this gap in existing technology. The system extracts embedding representations for the hand and face signs from video frames to capture the signs in their entirety, enabling users to search for a specific sign language video segment with text queries. A collection of eight hours of… ▽ More

    Submitted 5 November, 2024; v1 submitted 22 July, 2024; originally announced July 2024.

    Comments: 4 pages, 1 figure, 1 table

  11. arXiv:2407.11814  [pdf, other

    cs.CV

    Contrastive Sequential-Diffusion Learning: Non-linear and Multi-Scene Instructional Video Synthesis

    Authors: Vasco Ramos, Yonatan Bitton, Michal Yarom, Idan Szpektor, Joao Magalhaes

    Abstract: Generated video scenes for action-centric sequence descriptions, such as recipe instructions and do-it-yourself projects, often include non-linear patterns, where the next video may need to be visually consistent not with the immediately preceding video but with earlier ones. Current multi-scene video synthesis approaches fail to meet these consistency requirements. To address this, we propose a c… ▽ More

    Submitted 6 December, 2024; v1 submitted 16 July, 2024; originally announced July 2024.

  12. arXiv:2405.10122  [pdf, other

    cs.CV

    Generating Coherent Sequences of Visual Illustrations for Real-World Manual Tasks

    Authors: João Bordalo, Vasco Ramos, Rodrigo Valério, Diogo Glória-Silva, Yonatan Bitton, Michal Yarom, Idan Szpektor, Joao Magalhaes

    Abstract: Multistep instructions, such as recipes and how-to guides, greatly benefit from visual aids, such as a series of images that accompany the instruction steps. While Large Language Models (LLMs) have become adept at generating coherent textual steps, Large Vision/Language Models (LVLMs) are less capable of generating accompanying image sequences. The most challenging aspect is that each generated im… ▽ More

    Submitted 16 May, 2024; originally announced May 2024.

  13. arXiv:2404.04163  [pdf, other

    cs.IR cs.CL

    Dwell in the Beginning: How Language Models Embed Long Documents for Dense Retrieval

    Authors: João Coelho, Bruno Martins, João Magalhães, Jamie Callan, Chenyan Xiong

    Abstract: This study investigates the existence of positional biases in Transformer-based models for text representation learning, particularly in the context of web document retrieval. We build on previous research that demonstrated loss of information in the middle of input sequences for causal language models, extending it to the domain of representation learning. We examine positional biases at various… ▽ More

    Submitted 25 October, 2024; v1 submitted 5 April, 2024; originally announced April 2024.

  14. arXiv:2402.12969  [pdf, other

    cs.CL cs.AI

    GlórIA -- A Generative and Open Large Language Model for Portuguese

    Authors: Ricardo Lopes, João Magalhães, David Semedo

    Abstract: Significant strides have been made in natural language tasks, largely attributed to the emergence of powerful large language models (LLMs). These models, pre-trained on extensive and diverse corpora, have become increasingly capable of comprehending the intricacies of language. Despite the abundance of LLMs for many high-resource languages, the availability of such models remains limited for Europ… ▽ More

    Submitted 20 February, 2024; originally announced February 2024.

    Comments: Accepted for publication at PROPOR 2024

  15. arXiv:2402.06475  [pdf, other

    cs.CV

    Large Language Models for Captioning and Retrieving Remote Sensing Images

    Authors: João Daniel Silva, João Magalhães, Devis Tuia, Bruno Martins

    Abstract: Image captioning and cross-modal retrieval are examples of tasks that involve the joint analysis of visual and linguistic information. In connection to remote sensing imagery, these tasks can help non-expert users in extracting relevant Earth observation information for a variety of applications. Still, despite some previous efforts, the development and application of vision and language models to… ▽ More

    Submitted 9 February, 2024; originally announced February 2024.

  16. arXiv:2402.01053  [pdf, other

    cs.CL cs.AI

    Plan-Grounded Large Language Models for Dual Goal Conversational Settings

    Authors: Diogo Glória-Silva, Rafael Ferreira, Diogo Tavares, David Semedo, João Magalhães

    Abstract: Training Large Language Models (LLMs) to follow user instructions has been shown to supply the LLM with ample capacity to converse fluently while being aligned with humans. Yet, it is not completely clear how an LLM can lead a plan-grounded conversation in mixed-initiative settings where instructions flow in both directions of the conversation, i.e. both the LLM and the user provide instructions t… ▽ More

    Submitted 1 February, 2024; originally announced February 2024.

  17. arXiv:2310.02118  [pdf, other

    cs.CL cs.AI

    TWIZ-v2: The Wizard of Multimodal Conversational-Stimulus

    Authors: Rafael Ferreira, Diogo Tavares, Diogo Silva, Rodrigo Valério, João Bordalo, Inês Simões, Vasco Ramos, David Semedo, João Magalhães

    Abstract: In this report, we describe the vision, challenges, and scientific contributions of the Task Wizard team, TWIZ, in the Alexa Prize TaskBot Challenge 2022. Our vision, is to build TWIZ bot as an helpful, multimodal, knowledgeable, and engaging assistant that can guide users towards the successful completion of complex manual tasks. To achieve this, we focus our efforts on three main research questi… ▽ More

    Submitted 22 January, 2024; v1 submitted 3 October, 2023; originally announced October 2023.

    ACM Class: I.2.7

  18. Rating Prediction in Conversational Task Assistants with Behavioral and Conversational-Flow Features

    Authors: Rafael Ferreira, David Semedo, João Magalhães

    Abstract: Predicting the success of Conversational Task Assistants (CTA) can be critical to understand user behavior and act accordingly. In this paper, we propose TB-Rater, a Transformer model which combines conversational-flow features with user behavior features for predicting user ratings in a CTA scenario. In particular, we use real human-agent conversations and ratings collected in the Alexa TaskBot c… ▽ More

    Submitted 20 September, 2023; originally announced September 2023.

    ACM Class: I.2.7

  19. arXiv:2309.11283  [pdf, other

    cs.CL

    The Wizard of Curiosities: Enriching Dialogues with Fun Facts

    Authors: Frederico Vicente, Rafael Ferreira, David Semedo, João Magalhães

    Abstract: Introducing curiosities in a conversation is a way to teach something new to the person in a pleasant and enjoyable way. Enriching dialogues with contextualized curiosities can improve the users' perception of a dialog system and their overall user experience. In this paper, we introduce a set of curated curiosities, targeting dialogues in the cooking and DIY domains. In particular, we use real hu… ▽ More

    Submitted 20 September, 2023; originally announced September 2023.

    ACM Class: I.2.7

  20. arXiv:2309.11271  [pdf, other

    cs.CL cs.AI

    Grounded Complex Task Segmentation for Conversational Assistants

    Authors: Rafael Ferreira, David Semedo, João Magalhães

    Abstract: Following complex instructions in conversational assistants can be quite daunting due to the shorter attention and memory spans when compared to reading the same instructions. Hence, when conversational assistants walk users through the steps of complex tasks, there is a need to structure the task into manageable pieces of information of the right length and complexity. In this paper, we tackle th… ▽ More

    Submitted 20 September, 2023; originally announced September 2023.

    ACM Class: I.2.7

  21. arXiv:2308.06165  [pdf, other

    cs.CL

    Task Conditioned BERT for Joint Intent Detection and Slot-filling

    Authors: Diogo Tavares, Pedro Azevedo, David Semedo, Ricardo Sousa, João Magalhães

    Abstract: Dialogue systems need to deal with the unpredictability of user intents to track dialogue state and the heterogeneity of slots to understand user preferences. In this paper we investigate the hypothesis that solving these challenges as one unified model will allow the transfer of parameter support data across the different tasks. The proposed principled model is based on a Transformer encoder, tra… ▽ More

    Submitted 11 August, 2023; originally announced August 2023.

  22. arXiv:2305.15026  [pdf, other

    cs.CV cs.AI

    Transferring Visual Attributes from Natural Language to Verified Image Generation

    Authors: Rodrigo Valerio, Joao Bordalo, Michal Yarom, Yonatan Bitton, Idan Szpektor, Joao Magalhaes

    Abstract: Text to image generation methods (T2I) are widely popular in generating art and other creative artifacts. While visual hallucinations can be a positive factor in scenarios where creativity is appreciated, such artifacts are poorly suited for cases where the generated image needs to be grounded in complex natural language without explicit visual elements. In this paper, we propose to strengthen the… ▽ More

    Submitted 29 May, 2023; v1 submitted 24 May, 2023; originally announced May 2023.

  23. arXiv:2110.06805  [pdf, other

    cs.MM

    Assisting News Media Editors with Cohesive Visual Storylines

    Authors: Gonçalo Marcelino, David Semedo, André Mourão, Saverio Blasi, Marta Mrak, João Magalhães

    Abstract: Creating a cohesive, high-quality, relevant, media story is a challenge that news media editors face on a daily basis. This challenge is aggravated by the flood of highly relevant information that is constantly pouring onto the newsroom. To assist news media editors in this daunting task, this paper proposes a framework to organize news content into cohesive, high-quality, relevant visual storylin… ▽ More

    Submitted 13 October, 2021; originally announced October 2021.

    Comments: Accepted at ACM Multimedia 2021

  24. arXiv:2104.09855  [pdf

    stat.ML cs.LG

    Forecasting The JSE Top 40 Using Long Short-Term Memory Networks

    Authors: Adam Balusik, Jared de Magalhaes, Rendani Mbuvha

    Abstract: As a result of the greater availability of big data, as well as the decreasing costs and increasing power of modern computing, the use of artificial neural networks for financial time series forecasting is once again a major topic of discussion and research in the financial world. Despite this academic focus, there are still contrasting opinions and bodies of literature on which artificial neural… ▽ More

    Submitted 20 April, 2021; originally announced April 2021.

    Comments: 17 Pages, 5 Figures, 4 Tables

  25. arXiv:2104.06892  [pdf, other

    cs.CL cs.IR

    Knowledge-driven Answer Generation for Conversational Search

    Authors: Mariana Leite, Rafael Ferreira, David Semedo, João Magalhães

    Abstract: The conversational search paradigm introduces a step change over the traditional search paradigm by allowing users to interact with search agents in a multi-turn and natural fashion. The conversation flows naturally and is usually centered around a target field of knowledge. In this work, we propose a knowledge-driven answer generation approach for open-domain conversational search, where a conver… ▽ More

    Submitted 14 April, 2021; originally announced April 2021.

    Comments: Pre-print

  26. arXiv:2104.06529  [pdf, other

    cs.IR cs.CL cs.LG

    BERT Embeddings Can Track Context in Conversational Search

    Authors: Rafael Ferreira, David Semedo, Joao Magalhaes

    Abstract: The use of conversational assistants to search for information is becoming increasingly more popular among the general public, pushing the research towards more advanced and sophisticated techniques. In the last few years, in particular, the interest in conversational search is increasing, not only because of the generalization of conversational assistants but also because conversational search is… ▽ More

    Submitted 13 April, 2021; originally announced April 2021.

    ACM Class: H.3.3; I.2.7

  27. arXiv:2101.08197  [pdf, other

    cs.IR cs.CL cs.LG

    Open-Domain Conversational Search Assistant with Transformers

    Authors: Rafael Ferreira, Mariana Leite, David Semedo, Joao Magalhaes

    Abstract: Open-domain conversational search assistants aim at answering user questions about open topics in a conversational manner. In this paper we show how the Transformer architecture achieves state-of-the-art results in key IR tasks, leveraging the creation of conversational assistants that engage in open-domain conversational search with single, yet informative, answers. In particular, we propose an o… ▽ More

    Submitted 20 January, 2021; originally announced January 2021.

    ACM Class: H.3.3; I.2.7

  28. Cross-Modal Subspace Learning with Scheduled Adaptive Margin Constraints

    Authors: David Semedo, João Magalhães

    Abstract: Cross-modal embeddings, between textual and visual modalities, aim to organise multimodal instances by their semantic correlations. State-of-the-art approaches use maximum-margin methods, based on the hinge-loss, to enforce a constant margin m, to separate projections of multimodal instances from different categories. In this paper, we propose a novel scheduled adaptive maximum-margin (SAM) formul… ▽ More

    Submitted 30 September, 2019; originally announced September 2019.

    Comments: To appear in ACM MM 2019

  29. Diachronic Cross-modal Embeddings

    Authors: David Semedo, João Magalhães

    Abstract: Understanding the semantic shifts of multimodal information is only possible with models that capture cross-modal interactions over time. Under this paradigm, a new embedding is needed that structures visual-textual interactions according to the temporal dimension, thus, preserving data's original temporal organisation. This paper introduces a novel diachronic cross-modal embedding (DCM), where cr… ▽ More

    Submitted 30 September, 2019; originally announced September 2019.

    Comments: To appear in ACM MM 2019

  30. A Benchmark of Visual Storytelling in Social Media

    Authors: Gonçalo Marcelino, David Semedo, André Mourão, Saverio Blasi, Marta Mrak, João Magalhães

    Abstract: Media editors in the newsroom are constantly pressed to provide a "like-being there" coverage of live events. Social media provides a disorganised collection of images and videos that media professionals need to grasp before publishing their latest news updated. Automated news visual storyline editing with social media content can be very challenging, as it not only entails the task of finding the… ▽ More

    Submitted 9 August, 2019; originally announced August 2019.

    Comments: To appear in ACM ICMR 2019

  31. Modeling Temporal Evidence from External Collections

    Authors: Flávio Martins, João Magalhães, Jamie Callan

    Abstract: Newsworthy events are broadcast through multiple mediums and prompt the crowds to produce comments on social media. In this paper, we propose to leverage on this behavioral dynamics to estimate the most relevant time periods for an event (i.e., query). Recent advances have shown how to improve the estimation of the temporal relevance of such topics. In this approach, we build on two major noveltie… ▽ More

    Submitted 2 December, 2018; originally announced December 2018.

    Comments: To appear in WSDM 2019

    ACM Class: H.3.3

  32. Temporal Cross-Media Retrieval with Soft-Smoothing

    Authors: David Semedo, João Magalhães

    Abstract: Multimedia information have strong temporal correlations that shape the way modalities co-occur over time. In this paper we study the dynamic nature of multimedia and social-media information, where the temporal dimension emerges as a strong source of evidence for learning the temporal correlations across visual and textual modalities. So far, cross-media retrieval models, explored the correlation… ▽ More

    Submitted 10 October, 2018; originally announced October 2018.

    Comments: To appear in ACM MM 2018

  33. arXiv:1810.04531  [pdf, other

    cs.MM

    Inferring User Gender from User Generated Visual Content on a Deep Semantic Space

    Authors: David Semedo, João Magalhães, Flávio Martins

    Abstract: In this paper we address the task of gender classification on picture sharing social media networks such as Instagram and Flickr. We aim to infer the gender of an user given only a small set of the images shared in its profile. We make the assumption that user's images contain a collection of visual elements that implicitly encode discriminative patterns that allow inferring its gender, in a langu… ▽ More

    Submitted 10 October, 2018; originally announced October 2018.

    Comments: To appear in EUSIPCO 2018

    ACM Class: I.5.4

  34. Ranking News-Quality Multimedia

    Authors: Gonçalo Marcelino, Ricardo Pinto, João Magalhães

    Abstract: News editors need to find the photos that best illustrate a news piece and fulfill news-media quality standards, while being pressed to also find the most recent photos of live events. Recently, it became common to use social-media content in the context of news media for its unique value in terms of immediacy and quality. Consequently, the amount of images to be considered and filtered through is… ▽ More

    Submitted 9 October, 2018; originally announced October 2018.

    Comments: To appear in ICMR'18

    ACM Class: H.3.3

  35. A Vertical PRF Architecture for Microblog Search

    Authors: Flávio Martins, João Magalhães, Jamie Callan

    Abstract: In microblog retrieval, query expansion can be essential to obtain good search results due to the short size of queries and posts. Since information in microblogs is highly dynamic, an up-to-date index coupled with pseudo-relevance feedback (PRF) with an external corpus has a higher chance of retrieving more relevant documents and improving ranking. In this paper, we focus on the research question… ▽ More

    Submitted 8 October, 2018; originally announced October 2018.

    Comments: To appear in ICTIR 2018

    ACM Class: H.3.3

  36. arXiv:1708.05302  [pdf, other

    eess.AS cs.IR cs.MM cs.SD

    Automatic Organisation, Segmentation, and Filtering of User-Generated Audio Content

    Authors: Gonçalo Mordido, João Magalhães, Sofia Cavaco

    Abstract: Using solely the information retrieved by audio fingerprinting techniques, we propose methods to treat a possibly large dataset of user-generated audio content, that (1) enable the grouping of several audio files that contain a common audio excerpt (i.e., are relative to the same event), and (2) give information about how those files are correlated in terms of time and quality inside each event. F… ▽ More

    Submitted 17 August, 2017; originally announced August 2017.

    Comments: MMSP 2017 - IEEE 19th International Workshop on Multimedia Signal Processing

  37. arXiv:1708.05291  [pdf, other

    eess.AS cs.MM

    Automatic Organisation and Quality Analysis of User-Generated Content with Audio Fingerprinting

    Authors: Gonçalo Mordido, João Magalhães, Sofia Cavaco

    Abstract: The increase of the quantity of user-generated content experienced in social media has boosted the importance of analysing and organising the content by its quality. Here, we propose a method that uses audio fingerprinting to organise and infer the quality of user-generated audio content. The proposed method detects the overlapping segments between different audio clips to organise and cluster the… ▽ More

    Submitted 17 August, 2017; originally announced August 2017.

    Comments: EUSIPCO 2017 - 25th European Signal Processing Conference

  38. Barbara Made the News: Mining the Behavior of Crowds for Time-Aware Learning to Rank

    Authors: Flávio Martins, João Magalhães, Jamie Callan

    Abstract: In Twitter, and other microblogging services, the generation of new content by the crowd is often biased towards immediacy: what is happening now. Prompted by the propagation of commentary and information through multiple mediums, users on the Web interact with and produce new posts about newsworthy topics and give rise to trending topics. This paper proposes to leverage on the behavioral dynamics… ▽ More

    Submitted 9 February, 2016; originally announced February 2016.

    Comments: To appear in WSDM 2016

    ACM Class: H.3.3

  39. A Formal Comparison of Approaches to Datatype-Generic Programming

    Authors: José Pedro Magalhães, Andres Löh

    Abstract: Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed over the years, most of them for Haskell, but recently also for dependently typed languages such as Agda. Different approaches vary in expressiveness, ease of use, and implementation techniques. Some work has… ▽ More

    Submitted 13 February, 2012; originally announced February 2012.

    Comments: In Proceedings MSFP 2012, arXiv:1202.2407

    ACM Class: D.1.1

    Journal ref: EPTCS 76, 2012, pp. 50-67