BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science

Source URL: brics.dk

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Functional languages
• Subroutines
• Recursion
• Procedural programming languages
• Standard ML
• Tail call
• ML
• Monad

Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise

Source URL: anil.recoil.org

• Software engineering
• Computer programming
• Computing
• C++
• C
• Data types
• Object-oriented programming languages
• Functional languages
• Typedef
• OCaml
• Const
• Pointer

From “Research Topics in Functional Programming” ed. D. Turner, Addison-Wesley, 1990, pp 17–42. Why Functional Programming Matters John Hughes

Source URL: www.cs.kent.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Higher-order functions
• Programming language comparisons
• Lisp
• Fold
• Cons
• Append
• List

Hybrid In-Database Inference for Declarative Information Extraction Daisy Zhe Wang, Michael J. Franklin, Minos Garofalakis2, Joseph M. Hellerstein, Michael Wick3 University of California, Berkeley Technical University of

Source URL: cise.ufl.edu

Forty hours of declarative programming Teaching Prolog at the Junior College Utrecht Jurri¨en Stutterheim Wouter Swierstra

Source URL: www.staff.science.uu.nl

408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Type theory
• Algorithms
• Programming paradigms
• Finite-state machine
• Algorithm
• Declarative programming
• HindleyMilner type system
• RANSAC
• Monad

Using Declarative Invariants for Protecting File-System Integrity Jack Sun, Daniel Fryer, Ashvin Goel and Angela Demke Brown University of Toronto ABSTRACT

Source URL: www.eecg.toronto.edu

Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

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

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism

Independent Document Model (IDM) Schema Specification Background: The Independent Document Model (IDM) schema is a platform independent schema used to support extraction of metadata from XML documents. Our extraction a

Source URL: extract.cs.odu.edu

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Procedural programming languages
• ML
• XS
• Monad
• Haskell features
• Standard ML

Probabilistic Declarative Information Extraction Daisy Zhe Wang, Eirinaios Michelakis, Michael J. Franklin, Minos Garofalakis, Joseph M. Hellerstein ICDE, Long Beach, 2nd March, 2010

Source URL: cise.ufl.edu