jose emilio labra gayo This page collects my personal links in the field of Programming Languages. At first, it was devoted to functional programming. Now, I am very interested in the expressiveness of programming languages in general. With the term advanced I mean that it is oriented to researchers on programming languages .
* Todo list: o in memory (source) o in a db (source) * Field validation: o Running on the server o Running on the client (source) * Phone directory: o Phone book (source) * A join
The following examples are described in Links: Web Programming Without Tiers * dictionary suggestion with database update (source) * draggable lists (with styles) (source) * progress bar (source) The following examples appeared in earlier drafts of the same paper * factorial (source) * dictionary suggestion (with styles) (source) * dictionary suggestion (no styles) (source) * draggable lists (database version, no styles) (source) Other examples * pagination (source) * mandelbrot sets (source) * multi-coloured mandelbrot set (source) * todo list (client) (source) * todo list (server) (source) * draggable Cropping Frame (source) * winestore (source) * citeseer data (source)
XML (eXtensibe Markup Language) is a magnet for hype: the successor to HTML for web publishing, electronic data interchange, and e-commerce. In fact, XML is just a notation for trees, little more than a verbose variant of Lisp S-expressions; and a way to define tree grammars, a poor-man's BNF. Yet this simple basis has spawned scores of specialized sub-languages: for airlines, banks, and cell phones; for astronomy, biology, and chemistry; for the DOD and the IRS. This note is a brief guide to web resources that explain XML, the associated core technologies, describes some representative applications and lists additional applications and resources.
Collection of links to monad implementations in various languages. Due to recent discussions here on LtU and on the Haskell mailing lists I've compiled a list of links to implementations of monads in various languages. If you know of any that aren't listed here, please submit them in a comment. * Clean * Haskell * Java * Joy * OCaml * Perl * Prolog * Python * Ruby * Scheme
* Automated Reasoning Database at Stanford. * The TPTP Home Page. * QED Home page. * ORA Bibliography of Automated Deduction * Tomás Uribe's automated deduction page. * Logical Frameworks Page. * Formal Methods Library at Oxford. * The Mizar Home Page. * Association for Automated Reasoning (AAR) * Conference on Automated Deduction (CADE) * Journal of Automated Reasoning (JAR)
The ADO.NET Data Services framework consists of a combination of patterns and libraries that enable the creation and consumption of data services for the web. The goal of the ADO.Net Data Services framework is to facilitate the creation of flexible data services that are naturally integrated with the web, using URIs to point to pieces of data and simple, well-known formats to represent that data, such as JSON and plain XML. This results in the data service being surfaced to the web as a REST-style resource collection that is addressable with URIs and that agents can interact with using the usual HTTP verbs such as GET, POST or DELETE. Many of the Microsoft cloud data services (Windows Azure tables, SQL Data Services, etc.) expose data using the same REST interaction conventions followed by ADO.NET Data Services. This enables using the ADO.NET Data Services client libraries and developer tools when working not only with on premises services created using the ADO.NET Data Services Fra
Data Platform Development The Microsoft Data Platform provides developers with a comprehensive programming framework in which to create data centric solutions that target mobile devices, desktops, Web servers, and enterprise servers. Getting Started with... ADO.NET ADO.NET Data Services ADO.NET Entity Framework LINQ MDAC/WDAC Microsoft Project Code Named "Velocity" SQL Server Driver for PHP SQL Server JDBC Driver SQL Server Native Client XML