Computer Science Is Fun
49 views | +0 today
Follow
Your new post is loading...
Your new post is loading...
Scooped by Mário Pereira
Scoop.it!

Voevodsky’s Mathematical Revolution | Guest Blog, Scientific American Blog Network

Voevodsky’s Mathematical Revolution | Guest Blog, Scientific American Blog Network | Computer Science Is Fun | Scoop.it
On last Thursday at the Heidelberg Laureate Forum, Vladimir Voevodsky gave perhaps the most revolutionary scientific talk I’ve ever heard. I doubt if it generated much ...
more...
No comment yet.
Scooped by Mário Pereira
Scoop.it!

Demand increases for computer-science and technology majors - UI The Daily Iowan

Demand increases for computer-science and technology majors
UI The Daily Iowan
University officials are working to increase the number of students majoring in computer-information technology. According to a press release from the Learning Net, U.S.
more...
No comment yet.
Scooped by Mário Pereira
Scoop.it!

on compilers and interpreters | yawnt

This is EPIC! «On Compilers and Interpreters» http://t.co/DxMNdylked
more...
No comment yet.
Scooped by Mário Pereira
Scoop.it!

Typed Declarative Languages: Standard ML, OCaml, Scala, Haskell - Hyperpolyglot

RT @scalabase: Check out this great side by side cheat sheet and comparison of standard ml, ocaml, scala, and haskell: http://t.co/ndBVpgEk
more...
No comment yet.
Scooped by Mário Pereira
Scoop.it!

What most schools don't teach

Learn about a new "superpower" that isn't being taught in in 90% of US schools. Starring Bill Gates, Mark Zuckerberg, will.i.am, Chris Bosh, Jack Dorsey, Ton...
more...
No comment yet.
Rescooped by Mário Pereira from Errors Are Imminent
Scoop.it!

The Conception, Evolution, and Application of Functional Programming Languages

The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several critical periods: early work on lambda calculus and combinatory calculus, Lisp, Iswim, FP, ML, and modern functional languages such as Miranda1 and Haskell.


The fundamental premises on which the functional programming methodology stands are critically analyzed with respect to philosophical, theoretical, and pragmatic concerns. Particular attention is paid to the main features that characterize modern functional languages: higher-order functions, lazy evaluation, equations and pattern-matching, strong static typing and type inference, and data abstraction.


In addition, current research areas—such as parallelism, non-determinism, input/output, and state-oriented computations—are examined with the goal of predicting the future development and application of functional languages.


Via Joaquín Herrero Pintado
more...
Simão Melo De Sousa's comment, June 2, 2013 7:55 AM
I was looking for his opinion about the importance of OCaml in this historical perspective... still looking for...
Mário Pereira's comment, June 2, 2013 1:15 PM
Well, seems like Professor Hudak is definetly not an OCaml fan :) I searched for some references where the words 'OCaml' and 'Paul Hudak' would appear together but I found no one...
Scooped by Mário Pereira
Scoop.it!

PLT: Lambda Calculus - Basics 1

A short introductory lecture on lambda calculus. Since I'm teaching myself programming language theory I reckon it might be good to do these lectures a way o...
more...
No comment yet.
Scooped by Mário Pereira
Scoop.it!

The Lambda Calculus (Stanford Encyclopedia of Philosophy)

ラムダ計算の記事、SEPにも出ていた。 http://t.co/dJF6mtS4lb
more...
No comment yet.
Scooped by Mário Pereira
Scoop.it!

A Sound Semantics for OCaml light

@dyokomizo Yes. It'd be nice to see #coq ported to http://t.co/LR0yLjzdr7 /cc @johnregehr
more...
No comment yet.
Scooped by Mário Pereira
Scoop.it!

RSA 2013: Is Cryptography Still Necessary? - eSecurity Planet

RSA 2013: Is Cryptography Still Necessary? - eSecurity Planet | Computer Science Is Fun | Scoop.it
Is cryptography becoming less important? At least one member of a panel at the RSA 2013 conference thinks so. (RSA 2013: Is Cryptography Still Necessary?
more...
No comment yet.
Scooped by Mário Pereira
Scoop.it!

Embedded in Academia : Undefined Behavior Executed by Coq

Interesting post of undefinedness in C leaking into Ocaml and then Coq. http://t.co/cuyLTAcI1w
more...
No comment yet.