Call For Papers - Special Issue on Applications of Ferroelectrics - Submission deadline: May 28, 2007

2007 ◽  
Vol 54 (5) ◽  
pp. 903-903
Keyword(s):  
Special Issue ◽  
Submission Deadline

CALL FOR PAPERS Journal of Functional Programming Special Issue on Theorem Provers and Functional Programming

1997 ◽  
Vol 7 (1) ◽  
pp. 125-126
Author(s):  
Tom Melham
Keyword(s):  
Interface Design ◽  
Functional Programming ◽  
Type Systems ◽  
Theory And Practice ◽  
Theorem Prover ◽  
Functional Languages ◽  
Special Issue ◽  
Theorem Provers ◽  
Problems And Solutions ◽  
Submission Deadline

A special issue of the Journal of Functional Programming will be devoted to the use of functional programming in theorem proving. The submission deadline is 31 August 1997.The histories of theorem provers and functional languages have been deeply intertwined since the advent of Lisp. A notable example is the ML family of languages, which are named for the meta language devised for the LCF theorem prover, and which provide both the implementation platform and interaction facilities for numerous later systems (such as Coq, HOL, Isabelle, NuPrl). Other examples include Lisp (as used for ACL2, PVS, Nqthm) and Haskell (as used for Veritas).This special issue is devoted to the theory and practice of using functional languages to implement theorem provers and using theorem provers to reason about functional languages. Topics of interest include, but are not limited to:– architecture of theorem prover implementations– interface design in the functional context– limits of the LCF methodology– impact of host language features– type systems– lazy vs strict languages– imperative (impure) features– performance problems and solutions– problems of scale– special implementation techniques– term representations (e.g. de Bruijn vs name carrying vs BDDs)– limitations of current functional languages– mechanised theories of functional programming

scholarly journals Perspectives of Foreign Direct Investment In The New Millennium

1970 ◽  
Vol 20 (1) ◽  
pp. 1-6
Author(s):  
Balasundram Maniam ◽  
William Hadley Leavell
Keyword(s):  
Foreign Direct Investment ◽  
Crucial Role ◽  
Direct Investment ◽  
Foreign Direct Investments ◽  
Special Issue ◽  
The World ◽  
Submission Deadline ◽  
Work Done ◽  
New Millennium

FDI continues to play a crucial role around the world and its importance to theglobal economy cannot be understated. Researchers from different disciplinesare pursuing their work in FDI to better understand, explain and report the mostrecent findings. Hence, with that in mind, we, the guest editors, put a Call forPapers in the early part of Fall 2002 for a special issue of the Journal of BusinessStrategies on Foreign Direct Investments with a submission deadline of November15, 2002. We present in this issue four articles that were accepted from thatCall. These papers reflect the diverse work done in area of foreign direct investment.

Sign in / Sign up

Export Citation Format

Share Document