Smart Contract Design Pattern for Processing Logically Coherent Transaction Types by Tomasz Górski

Subjects: Get full text

Fragment Grammars: Exploring Computation and Reuse in Language by O'Donnell, Timothy J., Tenenbaum, Joshua B., Goodman, Noah D.

Subjects: Get full text

Conventional dendritic cells type 1 are strongly enriched, quiescent and relatively tolerogenic in local inflammatory arthritis by Arjan Boltjes, Anoushka Ashok Kumar Samat, Maud Plantinga, Michal Mokry, Bas Castelijns, Joost F. Swart, Sebastiaan J. Vastert, Sebastiaan J. Vastert, Menno Creyghton, Menno Creyghton, Stefan Nierkens, Stefan Nierkens, Jorg van Loosdregt, Jorg van Loosdregt, Femke van Wijk, Femke van Wijk

Subjects: Get full text

A Case of Loss of Ventricular Pacing Due to Inappropriate Hysteresis Function Programming After AV Node AblationNovel Teaching Points by Vladimir Poletaev, MD, Vidal Essebag, MD, PhD, Martin Louis Bernier, MD

Get full text

A Highly Configurable High-Level Synthesis Functional Pattern Library by Lan Huang, Teng Gao, Dalin Li, Zihao Wang, Kangping Wang

Subjects: Get full text

Public Space Planning in Urban Resettlement Community in China: Addressing Diverse Needs of Rural Migrants through Function Programming Based on Architectural Planning Theory by Zhi Qiu, Yi Hua, Binwei Yun, Zhu Wang, Yi Zhou

Subjects: Get full text

Modelling and verification of parameterized architectures: A functional approach by Salah Merniz, Saad Harous

Subjects: “…functional programming…”
Get full text

CONSIDERATIONS ON OBJECT-ORIENTED PROGRAMMING ENVIRONMENT AUTOCAD DRAWINGS by PINTILIE Alexandru, AVRAM Elena Rita

Subjects: “…AutoCAD, AutoLISP, function, programming, automation, parameterization.…”
Get full text

Research by design: architectural and structural solutions allowing the integration of the skyscraper complex with the urban space in Warsaw by Marcin Goncikowski

Subjects: “…functional program…”
Get full text

Multiparadigm programming in Leda / by 385381 Budd, Timothy

Subjects:

6.005 Elements of Software Construction, Fall 2011 by Miller, Robert

Subjects: Get full text

Adapting proofs-as-programs : the curry - howard protocol / by 287020 Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. (Martin)

Subjects:

Experimental functional realization of attribute grammar system by I. Attali, K. Chebotar, N. Meergus

Subjects: Get full text

Polytypic Functions Over Nested Datatypes by Ralf Hinze

Subjects: Get full text

6.01 Introduction to Electrical Engineering and Computer Science I, Fall 2009 by Kaelbling, Leslie, Abelson, Harold, Freeman, Dennis, Lozano-Pérez, Tomás, White, Jacob

Subjects: Get full text

Just do it: Simple monadic equational reasoning by Gibbons, J, Hinze, R

“…One of the appeals of pure functional programming is that it is so amenable to equational reasoning. …”

Just do it: simple monadic equational reasoning by Gibbons, J, Hinze, R

“…One of the appeals of pure functional programming is that it is so amenable to equational reasoning. …”

Just do It: Simple Monadic Equational Reasoning by Gibbons, J, Hinze, R

“…One of the appeals of pure functional programming is that it is so amenable to equational reasoning. …”

Just do It: Simple Monadic Equational Reasoning by Gibbons, J, Hinze, R, ACM

“…One of the appeals of pure functional programming is that it is so amenable to equational reasoning. …”

The Fun of Programming

“…<p>Functional programming has come of age: it is now a standard course in any computer science curriculum. …”