Join Our Newsletter
JFP
2007
1 years 5 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
JFP
2007
1 years 5 months ago
2007
The functional programming community has shown some interest in spreadsheets, but surprisingly no one seems to have considered making a standard spreadsheet, such as Excel, work w...
ITA
2007
1 years 5 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
LISP
2008
1 years 5 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
ENTCS
2006
1 years 5 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
APPINF
2003
1 years 7 months ago
2003
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...
4
posts
with
171
views
171
views
0
posts
with
0
views
0
views
Appointed since Spring 2007 as Academic Coordinator in Escuela de Ingeniería en Computación, Universidad Central de Chile, Santiago, Chile. Lecturer in Computer Science Departmen...
VLDB
1991
ACM
1 years 9 months ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
ICLP
1995
Springer
1 years 9 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
New Users
|
||||||||||
