Skip to content
⌨️
Typing
⌨️
Typing
  • University of Waterloo
  • Waterloo, ON, Canada
Pro
Block or report user

Report or block noti0na1

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
  • University of Waterloo
  • Waterloo, ON, Canada
Block or report user

Report or block noti0na1

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Adding extensions to DOT calculus

    HTML 14 5

  2. Research compiler that will become Scala 3

    Scala 3.6k 553

  3. Simple C Compiler in OCaml

    OCaml 17 2

  4. A Racket Implement of Kripke Models

    Racket 5

  5. A Monadic Interpreter for Faux Racket written in Haskell

    Haskell 3

  6. Lambda calculus implemented in Java

    Java 10 2

103 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to amaurremi/dot-calculus, abeln/dotty, lampepfl/dotty and 3 other repositories
Loading

Contribution activity

November 2019

Created a pull request in lampepfl/dotty that received 7 comments

Port Constant Types for Literal Final Static Java Fields and Implicit Conversions from Scalac

Currently, the ClassParser will give ConstantTypes to constant fields, but the JavaParser will not, because the JavaParser in Dotty doesn’t parse t…

+289 −2 7 comments

Created an issue in lampepfl/dotty that received 3 comments

The inferred AppliedTypes from Java are not checked

We could construct AppliedTypes from Java whose arguments do not conform to type bound. When the type is used in Dotty, it is not checked. minimize…

3 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.