Type-Directed Language Extension for Effectful Computations Evgenii Kotelnikov Chalmers University of Technology Gothenburg, Sweden

Source URL: lampwww.epfl.ch

• Software engineering
• Computer programming
• Computing
• Functional programming
• Functional languages
• Programming idioms
• Object-oriented programming languages
• Programming language comparisons
• Monad
• Scala
• List comprehension
• Workflow

Reactive Planning Idioms for Multi-Scale Game AI Ben G. Weber, Peter Mawhorter, Michael Mateas, and Arnav Jhala Abstract— Many modern games provide environments in which agents perform decision making at several levels

Source URL: game.itu.dk

• Artificial intelligence
• Blizzard games
• Windows games
• Multiplayer online games
• Video games with isometric graphics
• Reactive planning
• StarCraft
• Intelligent agent
• Micromanagement
• Multi-agent system
• Subsumption architecture
• Cognitive architecture

Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria

Source URL: plv.csail.mit.edu

• Programming idioms
• Computability theory
• Functional programming
• Logic in computer science
• Models of computation
• Recursion
• Denotational semantics
• Monad
• FO
• Valuation
• Static single assignment form

A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

Source URL: web.cecs.pdx.edu

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Computability theory
• Subroutines
• Programming idioms
• Models of computation
• Functional programming
• Curry
• Prolog
• Recursion

5th Grade Curriculum Unit 1: Playing with Words (3) Idioms Health Message: Exercise and moods

Source URL: www.thewalkingclassroom.org

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes

37 Absolute Constructions: On the Distribution of Predicative Idioms Susanne Z. Riehemann & Emily Bender Stanford University

Source URL: doors.stanford.edu

In Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC 2004), Lisbon, Portugal, ppA Multilingual Database of Idioms Aline Villavicencio∗ , Timothy Baldwin† , Benja

Source URL: lingo.stanford.edu

• Linguistics
• English grammar
• Idiom
• Multiword expression
• English-language idioms
• Lexical item
• Literal translation
• Lexicon
• Machine translation
• Language
• Comprehension of idioms
• Idioms in American Sign Language

DISCOVERING CHORD IDIOMS THROUGH BEATLES AND REAL BOOK SONGS Matthias Mauch Simon Dixon Christopher Harte Queen Mary, University of London, Centre for Digital Music

Source URL: ismir2007.ismir.net

Program Learning Outcomes Music 1. Demonstrate mastery of the rudiments and grammar of music and music notation, including completed compositions in tonal and nontonal idioms. 2. Show knowledge of the chronology and repe

Source URL: assessment.ucdavis.edu