Study
lib
Documents
Flashcards
Chrome extension
Login
Upload document
Create flashcards
×
Login
Flashcards
Collections
Documents
Last activity
My documents
Saved documents
Profile
Foreign Language
Math
Science
Social Science
Business
Engineering & Technology
Arts & Humanities
History
Miscellaneous
Standardized tests
Engineering & Technology
Computer Science
Functional Programming
Stable Models of Formulas with Intensional Functions
Supporting High-Level Grid Parallel Programming: the Design and Implementation of Grid-GUM2
Selective Gram-Schmidt orthonormalization for hms John E. Mitchell
Slides
Fast Partial Evaluation of Pattern Matching in Strings
Proofs are Programs: 19th Century Logic and 21st Century Computing Philip Wadler
Bootstrapping a Modelica Compiler aiming at Modelica 4
Behavior Modification
A Core Calculus of Dependency
Parallelism COS 597C David August David Walker
PPT
ppt
Number-parameterized types
HOL1
Why Functional Programming Matters
lecture 1
A Type-theoretic Foundation for Programming with
A functional program to play 3-D Noughts-and-Crosses
slides - Texas A&M University
Composition and Compilation in Functional Programming Languages
Comp 411 Principles of Programming Languages Lecture 7 Meta-interpreters
CMSC 330: Organization of Programming Languages Functional Programming with OCaml
Chapter 13
Functional programming Primer I COS 320 Compiling Techniques Princeton University
«
prev
1 ...
13
14
15
16
17
18
19
»
next
Suggest us how to improve StudyLib
(For complaints, use
another form
)
Your e-mail
Input it if you want to receive answer
Rate us
1
2
3
4
5
Cancel
Send