Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Richard A. Eisenberg
System FC With Explicit Kind Equality
ACM SIGPLAN Notices
Computer Science
A Role for Dependent Types in Haskell
Proceedings of the ACM on Programming Languages
Related publications
Some Extended Explicit Bel'tyukov Pairs for Volterra Integral Equations of the Second Kind
SIAM Journal on Numerical Analysis
Computational Mathematics
Applied Mathematics
Numerical Analysis
System Analysis of the Drone With FC Battery Fueled by Bio-Hydrogen
Nihon Enerugi Gakkaishi/Journal of the Japan Institute of Energy
Energy Engineering
Renewable Energy
Fuel Technology
Sustainability
Power Technology
the Environment
Fc Receptor IIB (Fc RIIB) Maintains Humoral Tolerance in the Human Immune System in Vivo
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Fuzzy Controlled Network Intrusion Detection System (FC-NIDS)
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Fc
Majalah Ilmiah Pengkajian Industri
$FC$-rings
Miskolc Mathematical Notes
Control
Numerical Analysis
Algebra
Combinatorics
Analysis
Number Theory
Optimization
Discrete Mathematics
The Model Evolution Calculus With Equality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Unifying Consciousness With Explicit Knowledge
Numerical Solutions for Linear Fredholm Integral Equations of the Second Kind Using 2-Point Half-Sweep Explicit Group Method