Sciweavers

2362 search results - page 67 / 473
» Programming in Standard ML
Sort
View
APLAS
2007
ACM
15 years 7 months ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
Burak Emir, Qin Ma 0002, Martin Odersky
146
Voted
JFP
2006
91views more  JFP 2006»
15 years 3 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
142
Voted
JFP
2007
110views more  JFP 2007»
15 years 3 months ago
Spreadsheet functional programming
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...
David Wakeling
231
Voted
POPL
2007
ACM
16 years 3 months ago
Generative unbinding of names
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
Andrew M. Pitts, Mark R. Shinwell
135
Voted
ICGA
1997
126views Optimization» more  ICGA 1997»
15 years 4 months ago
Evolution of Graph-Like Programs with Parallel Distributed Genetic Programming
Parallel Distributed Genetic Programming (PDGP) is a new form of Genetic Programming (GP) suitable for the development of programs with a high degree of parallelism. Programs are ...
Riccardo Poli