Pdf Version - Ajay Kumar Garg Engineering College

AKGEC
Ajay Kumar Garg Engineering College
FACULTY DEVELOPMENT PROGRAMME
on
Functional Programming
(April 12-13, 2012)
5x-2=13
then
x=3
But professor, you said
yesterday that x was
equal to 2!
“The fun way to learn mathematical thinking”
DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING
AKGEC, Ghaziabad - 201009
Phone: 0120-3291277/78/79, 6470765/66,3251275/76
Fax: 0120-2767384
Website: www.akgec.org

About the College
Ajay Kumar Garg Engineering College, Ghaziabad is affiliated to Mahamaya Technical University (MTU) and
is approved by the All India Council for Technical Education. The College was
established in 1998 and offers B.Tech. courses in six disciplines of
Engineering. The college also offers postgraduate courses in Computer
Application (MCA) and M.Tech. in Computer Science and Engineering,
Automation & Robotics, Electronics and Communication Engineering and
Electrical Power Energy Systems. The college strives for excellence and has
the distinction of receiving Academic Excellence Award for Best Engineering College in UPTU consecutively
for two years.
The college has the distinction of being the only Engineering College in the state of Uttar Pradesh to have
received approval from Deptt. of Science & Technology, Government of India, for establishment of Centre of
Relevance and Excellence (CORE) in the field of Automation & Robotics under the mission REACH of TIFAC.
The college has also established India's first industrial robotics training centre in collaboration with Kuka
Robotics to train the students & technical manpower in advance robotics technologies.
Why Functioanl Programming matters
As software becomes more and more complex, it is more and more important to structure it well. Wellstructured
software is easy to write, easy to debug, and provides a collection of modules that can be re-used to
reduce future programming costs. Conventional languages place conceptual limits on the way problems can
be modularized. Functional languages push those limits back.
Functional programming is very different from imperative programming. The most significant differences
stem from the fact that functional programming avoids side effects, which are used in imperative
programming to implement state and I/O. Pure functional programming disallows side effects completely
and so provides referential transparency, which makes it easier to verify, optimize, and parallelize programs,
and easier to write automated tools to perform those tasks.
To assist modular programming, a language must provide good glue. Functional programming languages
provide two new kinds of glue - higher-order functions and lazy evaluation. Using these glues one can
modularize programs in new and exciting ways.
PROGRAMMING
IMPERATIVE
Functional programming has long been popular in academia, but with few industrial applications. However,
recently several prominent functional programming languages have been used in commercial or industrial
systems. For example, the Erlang programming language, which was developed by the Swedish company
Ericsson in the late 1980s, was originally used to implement fault-tolerant telecommunications systems. It has
since become popular for building a range of applications at companies such as T-Mobile, Nortel, Facebook
and EDF. The Scheme dialect of Lisp was used as the basis for several applications on early Apple Macintosh
computers, and has more recently been applied to problems such as training simulation software and
telescope control. Objective Caml, which was introduced in the mid 1990s, has seen commercial use in areas
such as financial analysis, driver verification, industrial robot programming, and static analysis of embedded
software. Haskell, although initially intended as a research language, has also been applied by a range of
companies, in areas such as aerospace systems, hardware design, and web programming. Other functional
programming languages that have seen use in industry include Scala, F#, Lisp, Standard ML, and Clojure.
DECLARATIVE
PROCEDURAL
E.G. FORTRAN,C
OBJECT ORIENTED
E.G. C++,JAVA
LOGIC
E.G. PROLOG
FUNCTIONAL
E.G. HASKELL, ERLANG
This FDP is an attempt to demonstrate to the “ real world ” that functional programming is vitally important,
and also to help functional programmers exploit its advantages to the full by making it clear what those
advantages are.

Resource Person
Prof. S. Arun Kumar
Department of Computer Science and Engineering
Indian Institute of Technology, Delhi
Prof. S. Arun Kumar is Ph.D. in Computer Science, Tata Institute of Fundamental Research, University of Bombay. He
completed MTech in Computer Science from Indian Institute of Technology, Bombay and B.Tech. in Mechanical
Engineering from Indian Institute of Technology, Kanpur. His areas of interest include Programming Languages,
Mobile Computation, Distributed Systems, Concurrency Theory, Logic, Program Verification, Formal Methods and
Model-checking.
Prof. Kumar's extensive teaching and research experience has been with Indian Institute of Technology, Delhi, North
Carolina State University, USA and University of Sussex, UK. He has a total experience of 23 years and is presently
working with Indian Institute of Technology, Delhi since 1998. He has been associated with a number of research projects
as Principal Investigator and Co-Investigator; the projects were funded by MHRD, Government of India; European
Aeronautic Defence and Space Company, Netherlands; and Sun Microsystems, USA. He was also honored with Young
Scientist Award from Department of Science and Technology, Govt. of India, for his contribution to the project
“Efficiency Based Correctness Criteria for Concurrent Systems”. Prof. Kumar has also created web based courses on
“Introduction to Computer Science” and a 40 hour video course on “Programming Languages”. He has a number of
research papers published in reputed International journals to his credit.
Program Details: (12-13 April 2012)
th
Day 1: 12 April 2012
9:00 – 10:00 Registration & Tea
10:00 – 10:30 Inaugural Session
10:30 – 12:30 First Session- Introduction to Functional
Programming, Overview of Standard ML
12:30-13:30 Lunch Break
13:30-14:30 Second Session- Some simple Standard
ML programs
14:30-14:45 Tea Break
14:45-16:00 Third Session- Scope Rules and Recursion
Registration
Participants can register by sending the duly filled registration form along with registration fee of Rs. 1000/- in form of
demand draft in favour of “Ajay Kumar Garg Engineering College”, payable at Ghaziabad to the following address latest
by April 7, 2012 :
The Co-ordinator
Faculty Development Programme
Department of Computer Science and Engineering
Ajay Kumar Garg Engineering College
27 km Stone, Delhi-Hapur Bypass Road, NH-24
P.O. Adhyatmik Nagar
Ghaziabad – 201009 (U.P.)
PROGRAMMING
The registration fee includes the FDP kit, course material and tea and lunch for the duration of the lectures. Candidates
attending the full course will be awarded a certificate of participation at the end of the programme. Any queries may be
forwarded to fpd_cse@akgec.org. Limited boarding and lodging facilities are available on the campus at nominal
charges on first come first served basis.
Organizing Committee
IMPERATIVE
DECLARATIVE
Ÿ Prof. B.M. Kalra, Head of Department, CSE
Ÿ Ms. Mamta Bhusry, Associate Professor, CSE
Ÿ Mr. Akhilesh Verma, Assistant Professor, CSE, Contact : +919971897996
th
Day 2: 13 April 2012
10:00-12:00 First Session- Higher-order functions ,
Data types, constructors and pattern
matching
12:00-13:00 Lunch Break
13:00-15:00 Second Session- Abstract Datatypes and
PROCEDURAL
E.G. FORTRAN,C
Modularity, Signatures and Structures
15:00-15:15 Tea Break
15:15 -16:00 Concluding Session
OBJECT ORIENTED
E.G. C++,JAVA
LOGIC
E.G. PROLOG
FUNCTIONAL
E.G. HASKELL, ERLANG

AJAY KUMAR GARG ENGINEERING COLLEGE
AKGEC
FACULTY DEVELOPMENT PROGRAMME
ON
FUNCTIONAL PROGRAMMING
(April 12-13, 2012)
REGISTRATION FORM
Name of Participant : ..........................................................................................................
Educational Qualification : ..........................................................................................................
Designation : ..........................................................................................................
Name and Address of Affiliated College : ..........................................................................................................
..........................................................................................................
..........................................................................................................
E-mail : ..........................................................................................................
Contact # : ..........................................................................................................
Signature of Participant
PROGRAMMING
Details of Registration Fee Payment :
IMPERATIVE
: …………………………….............………………………………
DECLARATIVE
PROCEDURAL
E.G. FORTRAN,C
OBJECT ORIENTED
E.G. C++,JAVA
LOGIC
E.G. PROLOG
FUNCTIONAL
E.G. HASKELL, ERLANG
Draft No. : …………………………...................……………..Dated :…………….....................…………………
Bank Name :………………………………….............................................………………………………………..
Draft to be in the name of “Ajay Kumar Garg Engineering College”, payable at Ghaziabad
Accommodation required
: Yes / No
Please mail the duly completed registration form along with draft to :
The Co-ordinator
Faculty Development Programme
Department of Computer Science and Engineering
Ajay Kumar Garg Engineering College
27 km Stone, Delhi-Hapur Bypass Road, NH-24
P.O. Adhyatmik Nagar
Ghaziabad – 201009 (U.P.)
* Last date of registration is April 7, 2012