4139 search results - page 266 / 828 » Designing and Implementing Combinator Languages |
145
click to vote
IJIT
2004
15 years 6 months ago
2004
Workflow Management Systems (WfMS) allow organizations to streamline and automate business processes and reengineer their structure. One important requirement for this type of syst...
135
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
141
click to vote
TACS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
113
Voted
ENTCS
2008
15 years 5 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
158
click to vote
IBERAMIA
2010
Springer
15 years 3 months ago
2010
Springer
Surface realisation - the task of producing word strings from non-linguistic input data - has been the focus of a great deal of research in the field of data-to-text Natural Langu...