yusuke1997/dblp-id-title huggingface dataset:
A static simulation of dynamic delimited control
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus
Transformational Derivation of an Improved Alias Analysis Algorithm
LogScheme: Integrating Logic Programming into Scheme
Definitional Interpreters Revisited
A multi-tier semantics for Hop
A Runtime System
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC
DPOS: A Metalanguage and Programming Environment for Parallel Processing
Strongly reducing variants of the Krivine abstract machine
Integrating Logic and Functional Programming
Computational Divided Differencing and Divided-Difference Arithmetics
Special Issue on State in Programming Languages - Introduction
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization
A lean specification for GADTs: system F with first-class equality proofs
Global State Considered Unnecessary: An Introduction to Object-Based Semantics
Program Adaptation via Output-Constraint Specialization
About permutation algebras, (pre)sheaves and named sets
Trace-Based Abstract Interpretation of Operational Semantics
Higher-Order UnCurrying
Common Lisp Object System Specification: 1. Programmer Interface Concepts
The p-Calculus in Direct Style
An Introduction to Landin's "A Generalization of Jumps and Labels"
A proof of Moessner's theorem by coinduction
Dynamic slicing of lazy functional programs based on redex trails
State-transition machines, revisited
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Balancing the EULISP Metaobject Protocol
The graphical Krivine machine
Christopher Strachey and Fundamental Concepts
Static and Dynamic Program Compilation by Interpreter Specialization
Universal Regular Path Queries
Book Review of Common Lisp: A Tutorial, by Wendy L. Milner
Totally correct logic program transformations via well-founded annotations
Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct
Nesting forward-mode AD in a functional framework
Semantics and pragmatics of Real-Time Maude
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
Syntactic Abstraction in Scheme
Implementation Strategies for First-Class Continuations
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition
Conjunction-Type Standard ML Polymorphism
Explaining the lazy Krivine machine using explicit substitution and addresses
Concurrent Scheme Reference
An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes
A rho-calculus of explicit constraint application
On typing delimited continuations: three new solutions to the printf problem
Mayfly: A General-Purpose, Scalable, Parallel Processing Architecture
Callee-Save Registers in Continuation-Passing Style
The two variable per inequality abstract domain
Oaklisp: An Object-Oriented Dialect of Scheme
Book Review of Common Lisp: the Reference Franz, Inc
Optimizing Nested Loops Using Local CPS Conversion
Peter Landin: a computer scientist who inspired a generation
More dependent types for distributed arrays
Implementation and use of the PLT scheme Web server
Pseudo-distributive laws and axiomatics for variable binding
Duplication and Partial Evaluation For a Better Understanding of Reflective Languages
Christopher Strachey and the Cambridge CPL Compiler
Linear Continuation-Passing
Stories about calculations: remembering Peter Landin
An Interpretation of Typed OOP in a Language with State
Path Dependent Analysis of Logic Programs
Remembrances of Bob Paige
Arrays in Pure Functional Programming Languages
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Polymorphic Type Assignment and CPS Conversion
Endpaper: FRPOLY: A Benchmark Revisited
BIT: A Very Compact Scheme System for Microcontrollers
On the correctness of the Krivine machine
A new generic scheme for functional logic programming with constraints
Lambda-Calculus Schemata
Erratum to: Continuation-Passing C, compiling threads to events through continuations
Robert Paige (1947-1999)
Strictness Analysis in the Imperative Lambda Calculus
Imperative-program transformation by instrumented-interpreter specialization
Book Review of Object-Oriented Programming in Common LISP: A Programmer's Guide to CLOS, by Sonya E. Keene
A Concurrent Abstract Interpreter
Christopher Strachey: A Personal Recollection
Graph-based communication in Eden
An Overview of EULISP
Research Demonstration of a Hardware Reference-Counting Heap
Non-Standard Semantics for Program Slicing
A Debugging Environment for Lazy Functional Languages
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus
A Semantics of Introspection in a Reflective Prototype-Based Language
Object-Oriented Programming with Class Dictionaries
An NSF Proposal
Editorial PEPM2012
Partial Evaluation of the Euclidian Algorithm
A Higher-Order Removal Method
Safe-for-Space Threads in Standard ML
Linear-Time Self-Interpretation of the Pure Lambda Calculus
Continuation-Passing C, compiling threads to events through continuations
Control Delimiters and Their Hierarchies
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
On the implementation of automatic differentiation tools
Peter J. Landin (1930-2009)
An Appreciation of Bob Paige
LISP as a Rapid Prototyping Environment: The Chinese Tutor
Logical approximation for program analysis
The VLISP Verified Scheme System
A New Approach to Procedures with Variable Arity
A Logical Approach to Program Analysis
Designing a Browser to Support Multimethods and Method Combination
A functional approach to generic programming using adaptive traversals
Recursion from Iteration
Graphical and incremental type inference. A graph transformation approach
Partial Evaluation of the Euclidean Algorithm, Revisited
Reliable Interactive Programming with Modules
Applications of Telos
Parallel Logic Programs on the Mayfly
Compiling Lisp Programs for Parallel Execution
Moped (A Portable Debugger)
Semantics of roundoff error propagation in finite precision calculations
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
Continuations Revisited
Space-efficient gradual typing
Cambridge and CPL in the 1960s
Partial Evaluation in Parallel
An introduction to Landin's "Getting Rid of Labels"
Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations
Visualizing Evaluation in Scheme
Directly reflective meta-programming
Linearity and iterator types for Gödel's System
Implementing Coloured Petri Nets Using a Functional Programming Language
Hume box calculus: robust system development through software transformation
Definitional Interpreters for Higher-Order Programming Languages
Compiler Optimization Correctness by Temporal Logic
Book Review of A "Kinder, Gentler LISP?" COMMON LISP: A Gentle Introduction to Symbolic Computation" by David S. Touretzky
Some Reflections on Strachey and His Work
Continuation-Based Multiprocessing Revisited
Mechanising lambda-calculus using a classical first order theory of terms with permutations
From Macrogeneration to Syntactic Abstraction
Christopher Strachey: Recollections of His Influence
Efficient and flexible access control via Jones-optimal logic program specialisation
Subcontinuations
Context-sensitive analysis without calling-context
Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination
Direct Function Calls in Lisp
Deriving escape analysis by abstract interpretation
Bisimilarity for the Region Calculus
An Application of an OR-Parallel Prolog Systemto Phylogenetic Analysis
An Automatic Program Generator for Multi-Level Specialization
The Next 700 Formal Language Descriptions
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava
Flow-sensitive type systems and the ambient calculus
From Language Concepts to Implementation Concepts
Overview: The Common Lisp Object System
Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF
A Decision Procedure for Common Lisp's SUBTYPEP Predicate
A Foreword to 'Fundamental Concepts in Programming Languages'
A Generalization of Short-Cut Fusion and its Correctness Proof
Least Reflexive Points of Relations
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
An investigation of Jones optimality and BTI-universal specializers
Pruning with improving sequences in lazy functional programs
Relative Specification and Transformational Re-Use of Functional Programs
A principled approach to programming with nested types in Haskell
Continuations and Web Servers
Efficiency by Incrementalization: An Introduction
Reminiscences of Christopher Strachey
An Unboxed Operational Semantics for ML Polymorphism
Algebraic Power Analysis by Abstract Interpretation
The next 700 Krivine machines
First-Class Extents
Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation
Types and trace effects for object orientation
Distributed Data Structures and Algorithms for Gröbner Basis Computation
Endpaper: Performance of Two Common Lisp Programs on Several Systems
Editorial TFP 2009/2010
Improving the lazy Krivine machine
Mark Scan Garbage Collection on a Distributed Architecture
A Preprocessor Based Implementation of Common Lisp
Book Review of Lisp Lore: A Guide to Programming the Lisp Machine, 2nd ed
Shortcut fusion rules for the derivation of circular and higher-order programs
A Generalization of Jumps and Labels
VLISP: A Verified Implementation of Scheme
Formal compiler construction in a logical framework
A minimalistic look at widening operators
Program transformations for light-weight CPU accounting and control in the Java virtual machine
Revised Report on the Algorithmic Language Scheme
Research Retrospective
An initial algebra approach to term rewriting systems with variable binders
Widget, Widget on the Wall, Am I Performing Well at All?
An Approach to Folksonomy-Based Ontology Maintenance for Learning Environments
What Do You Prefer? Using Preferences to Enhance Learning Technology
AestheNet: Revolutionizing Aesthetic Perception Diagnosis in Education With Hybrid Deep Nets
A Mobile Live Video Learning System for Large-Scale Learning—System Design and Evaluation
A Generic IoT Architecture for Ubiquitous Context-Aware Learning
Editorial: A Message from the Editorial Team and an Introduction to the October-December 2015 Issue
CollabGraph: A Graph-Based Collaborative Search Summary Visualization
Deep Knowledge Tracing Incorporating a Hypernetwork With Independent Student and Item Networks
A Study of Strategies for Developing Online Laboratories
Guest Editorial The Metaverse and the Future of Education
Student Authentication for Oral Assessment in Distance Learning Programs
Gamification for Engaging Computer Science Students in Learning Activities: A Case Study
Heterogeneity in Extended Reality Influences Procedural Knowledge Gain and Operation Training
The Conceptual Structure of IMS Learning Design Does Not Impede Its Use for Authoring
Guest Editorial: Special Issue on EC-TEL 2007
Towards User Support in Ubiquitous Learning Systems
Context-Aware Recommender Systems for Learning: A Survey and Future Challenges
Educational Technologies for Precollege Engineering Education
Exploring Students' Progression in an Inquiry Science Curriculum Enabled by Mobile Learning
The Effects of Dispersion and Reciprocity on Assessment Fidelity in Peer-Review Systems: A Simulation Study
Contrastive Personalized Exercise Recommendation With Reinforcement Learning
Capture, Management, and Utilization of Lifecycle Information for Learning Resources
The State-of-the-Art on Collective Intelligence in Online Educational Technologies
Reducing Mistakes in Mathematics Problem Solving through Behavioral Training with a Tablet Computer
Clustering Introductory Computer Science Exercises Using Topic Modeling Methods
A Systematic Review of Empirical Studies on Learning Analytics Dashboards: A Self-Regulated Learning Perspective
SimSketch: Multiagent Simulations Based on Learner-Created Sketches for Early Science Education
A Human-Centered Learning and Teaching Framework Using Generative Artificial Intelligence for Self-Regulated Learning Development Through Domain Knowledge Learning in K-12 Settings
Experiences in Personal Lecture Video Capture
Guest Editorial: Special Section on Learning Systems for Science and Technology Education
Supporting the Process of Learning and Teaching Process Models
Cyber Range for Research-Inspired Learning of "Attack Defense by Pretense" Principle and Practice
A Software Suite for Efficient Use of the European Qualifications Framework in Online and Blended Courses
Adaptive Social Learning Based on Crowdsourcing
A Framework for Educational Technologies that Support Representational Competencies
Utilizing Learning-Analytics-Based Activities as a Bridge to Enhance Elementary Students' Mathematical Learning
An Early Feedback Prediction System for Learners At-Risk Within a First-Year Higher Education Course
Enhancing Educational Dialogue Act Classification With Discourse Context and Sample Informativeness
Editorial: A Message from the Editorial Team and an Introduction to the April-June 2016 Issue
Content Based Lecture Video Retrieval Using Speech and Video Text Information
Designing a Secure Exam Management System (SEMS) for M-Learning Environments
A Framework for Analyzing and Evaluating Architectures and Control Strategies in Distributed Remote Laboratories
The Evaluation of a Serious Game to Improve Cross-Cultural Competence
Differentiated Teaching With Adaptive Learning Systems and Teacher Dashboards: The Teacher Still Matters Most
Scaling and Adopting a Multimodal Learning Analytics Application in an Institution-Wide Setting
FERN: Fair Team Formation for Mutually Beneficial Collaborative Learning
Exploring Student Interactions With Preparation Activities in a Flipped Classroom Experience
Effects of Using Immersive Virtual Reality for Science Education on Learning Outcomes: A Randomized Controlled Pilot Study
Spatial Learning Using Locomotion Interface to Virtual Environment
Combining University Student Self-Regulated Learning Indicators and Engagement with Online Learning Events to Predict Academic Performance
A Multimodal Assessment Framework for Integrating Student Writing and Drawing in Elementary Science Learning
Self-Organized Laboratories for Smart Campus
Development and Evaluation of an Active Learning Support System for Context-Aware Ubiquitous Learning
Effectiveness of Customized Exergames to Improve Postural Control in High School Physical Education
Appropriating Quantified Self Technologies to Support Elementary Statistical Teaching and Learning
Xiao-Shih: A Self-Enriched Question Answering Bot With Machine Learning on Chinese-Based MOOCs
The Three-Stage Hierarchical Logistic Model Controlling Personalized Playback of Audio Information for Intelligent Tutoring Systems
Attention Level Evaluation in Children With Autism: Leveraging Head Pose and Gaze Parameters From Videos for Educational Intervention
Using a Chatbot to Provide Formative Feedback: A Longitudinal Study of Intrinsic Motivation, Cognitive Load, and Learning Performance
Design and Evaluate Immersive Learning Experience for Massive Open Online Courses (MOOCs)
A Message from the Editorial Team and an Introduction to the July-September 2017 Issue
Toward Embedding Robotics in Learning Environments With Support to Teachers: The IDEE Experience
Improving Spatial Visualization and Mental Rotation Using FORSpatial Through Shapes and Letters in Virtual Environment
Students' Online Laboratory Work Assessment Based on Learning Task Lists and Behavior Data
The Scalable Adapter Design Pattern: Enabling Interoperability Between Educational Software Tools
Assessing the Effectiveness of a Gamified Social Network for Applying Privacy Concepts: An Empirical Study With Teens
Editorial: A Message from the Editorial Team and an Introduction to the July-September 2013 Issue
Contextual Markup and Mining in Digital Games for Science Learning: Connecting Player Behaviors to Learning Goals
How Can Self-Evaluation and Self-Efficacy Skills of Young Learners be Scaffolded in a Web Application?
Automatic Detection of Off-Task Behaviors in Intelligent Tutoring Systems with Machine Learning Techniques
Characteristic Behaviors of Elementary Students in a Low Attention State During Online Learning Identified Using Electroencephalography
Capacity Tracing-Enhanced Course Recommendation in MOOCs
m-Learning in the Education of Multimedia Technologists and Designers at the University Level: A User Requirements Study
An AI-based Approach for Grading Students' Collaboration
Using Haptic and Auditory Interaction Tools to Engage Students with Visual Impairments in Robot Programming Activities
Leveraging Class Balancing Techniques to Alleviate Algorithmic Bias for Predictive Tasks in Education
A Journey to Identify Users' Classification Strategies to Customize Game-Based and Gamified Learning Environments
Multivariate Knowledge Tracking Based on Graph Neural Network in ASSISTments
Approximately Optimal Teaching of Approximately Optimal Learners
Ranking Learning Objects through Integration of Different Quality Indicators
Self-Help Training System for Nursing Students to Learn Patient Transfer Skills
EQGG: Automatic Question Group Generation
Leveraging Semantic Facets for Automatic Assessment of Short Free Text Answers
Multisensory Interaction and Analytics to Enhance Smart Learning Environments: A Systematic Literature Review
Benefits of a Tangible Interface for Collaborative Learning and Interaction
Editorial: A Message from the Editorial Team and an Introduction to the January-March 2017 Issue
In Memoriam: Martin Wolpers, PhD 1969-2016
MEBook: Multimedia Social Greetings Intervention for Children with Autism Spectrum Disorders
A Novel Web-Based Approach for Visualization and Inspection of Reading Difficulties on University Students
Guest Editorial: Special Issue on Intelligent and Innovative Support Systems for CSCL
A M-Learning Content Recommendation Service by Exploiting Mobile Social Interactions
Integrating Technologies in the Metaverse for Enhanced Healthcare and Medical Education
An Integrated Framework to Support Bachelor Design Students in 3-D Modeling
An Evaluative Study on VISOLE - Virtual Interactive Student-Oriented Learning Environment
The Impact of Integrating an Intelligent Personal Assistant (IPA) on Secondary School Physics Students' Scientific Inquiry Skills
A VR Environment for Human Anatomical Variation Education: Modeling, Visualization and Interaction
Preparing for Future Learning with a Tangible User Interface: The Case of Neuroscience
Predicting Presentation Skill of a Speaker Using Automatic Speaker and Audience Measurement
Is ChatGPT a Competent Teacher? Systematic Evaluation of Large Language Models on the Competency Model
Needles in the Haystack: Finding Content Worth Preparing for Workplace Learning with the KEP Model
Critical Factors for Technology Integration in Game-Based Pervasive Learning Spaces
MIRACLE—Model for Integration of Remote Laboratories in Courses that Use Laboratory and e-Learning Systems
Developing an Initial Open-Source Platform for the Higher Education Sector - A Case Study: Alhosn University
The Human Muscular Arm Avatar as an Interactive Visualization Tool in Learning Anatomy: Medical Students' Perspectives
How to Design Immersive Virtual Learning Environments Based on Real-World Processes for the Edu-Metaverse - A Design Process Framework
Learning to Rank for Educational Search Engines
Teaching Advanced Concepts in Computer Networks: VNUML-UM Virtualization Tool
A Mobile Mixed-Reality Environment for Children's Storytelling Using a Handheld Projector and a Robot
Guest Editorial: Special Issue Intelligence Augmentation and the Future of Education: Transforming Learning Landscapes Across Modalities and Lifecycles
Automatic Question Tagging with Deep Neural Networks
Annie: Automated Generation of Adaptive Learner Guidance for Fun Serious Games
Toward Personalized Scaffolding and Fading of Motivational Support in L2 Learner-Dialogue Agent Interactions: An Exploratory Study
Design Heuristics for Authentic Simulation-Based Learning Games
The Effect on Computational Thinking Using SRA-Programming: Anticipating Changes in a Dynamic Problem Environment
Exploring the Possibilities of Edu-Metaverse: A New 3-D Ecosystem Model for Innovative Learning
Design and Empirical Validation of Effectiveness of LANGA, an Online Game-Based Platform for Second Language Learning
Stop and Think: Exploring Mobile Notifications to Foster Reflective Practice on Meta-Learning
There are Open Learner Models About!
Collaborative Online Activities for Acoustics Education and Psychoacoustic Data Collection
A Framework for Designing Student-Facing Learning Analytics to Support Self-Regulated Learning
Decoding Contextual Factors Differentiating Adolescents' High, Average, and Low Digital Reading Performance Through Machine-Learning Methods
Into the Brave New Metaverse: Envisaging Future Language Teaching and Learning
Supporting Accessible Technology-Enhanced Training: The eAccess2Learn Framework
Geolearners: Location-Based Informal Learning with Mobile and Social Technologies
Architecture for Building Conversational Agents that Support Collaborative Learning
AI-Driven Learning Analytics for Applied Behavior Analysis Therapy
Future Changes in Teachers' Professional Roles Under the Impact of Artificial Intelligence: A Study in English as a Foreign Language Education
Editorial Technologies for Data-Driven Interventions in Smart Learning Environments
Quantitative Analysis of Learning Object Repositories
Measuring Effects of Technology-Enabled Mirroring Scaffolds on Self-Regulated Learning
Taxonomy of Virtual and Augmented Reality Applications in Education
An Experimental Assessment of the Use of Cognitive and Affective Factors in Adaptive Educational Hypermedia
Early Prediction of Students at Risk of Failing a Face-to-Face Course in Power Electronic Systems
Educational Effects on the Transparency of Peer Participation Levels in Asynchronous Online Discussion Activities
OrientaTree: A Mobile Tool for Geolocated Educational Orienteering
Wearable Technology in Education: A Systematic Review
Exploring EFL Learners' Integration and Perceptions of ChatGPT's Text Revisions: A Three-Stage Writing Task Study
A System to Structure, Measure, and Improve Student Development
Investigating the Use of Deep Learning and Implicit Feedback in K12 Educational Recommender Systems
Extracting the Relationships Among Students Based on Accessing Pattern of Digital Learning Attributes
Flipping the Flipped Classroom: A Study of the Effectiveness of Video Lectures Versus Constructivist Exploration Using Tangible User Interfaces
Vocational Training With Microlearning - How Low-Immersive 360-Degree Learning Environments Support Work-Process-Integrated Learning
ChatPRCS: A Personalized Support System for English Reading Comprehension Based on ChatGPT
Engaging Online Learners in Blended Synchronous Learning: A Systematic Literature Review
Supporting Teacher Orchestration in Ubiquitous Learning Environments: A Study in Primary Education
Augmented Immersive Reality (AIR) for Improved Learning Performance: A Quantitative Evaluation
What Do Linguistic Expressions Tell Us about Learners' Confusion? A Domain-Independent Analysis in MOOCs
Utilizing Multimodal Data Through fsQCA to Explain Engagement in Adaptive Learning
Computer-Assisted Culture Learning in anOnline Augmented Reality EnvironmentBased on Free-Hand Gesture Interaction
Optimizing Automatic Text Classification Approach in Adaptive Online Collaborative Discussion-A Perspective of Attention Mechanism-Based Bi-LSTM
An Approach Based on Social Network Analysis Applied to a Collaborative Learning Experience
MOOC-BERT: Automatically Identifying Learner Cognitive Presence From MOOC Discussion Data